fix .classpath, deleting jopt
Merge pull request #752 from dwightguth/classpath

fix .classpath, deleting jopt
Merge branch 'unified-builtins2' into ktest-options
fix deprecated GlobalSettings.kem calls