Remove JavaOISAccess from model class SharedSecrets#40

cyrille-artho merged 1 commit intojavapathfinder:java-10javapathfinder/jpf-core:java-10from

gayanW:java-10-38gayanW/jpf-core:java-10-38Copy head branch name to clipboard