problem about jpf plugin in eclipse

[github-dxl]

喔喔 14:22:00
Executing command: java -jar C:\Users\ww\jpf\jpf-core\build\RunJPF.jar +shell.port=0 C:\Users\ww\jpf\jpf-core\src\examples\Choice.jpf
[SEVERE] JPF configuration error: error instantiating class gov.nasa.jpf.vm.OVHeap for entry "vm.heap.class":

exception in gov.nasa.jpf.vm.OVHeap(gov.nasa.jpf.Config,gov.nasa.jpf.vm.KernelState):

java.lang.NoClassDefFoundError: sun/misc/SharedSecrets
used within "vm.class" instantiation of class gov.nasa.jpf.vm.SingleProcessVM
[SEVERE] JPF terminated

Unable to create the selected preference page.
gov.nasa.runjpf.options.Preferences cannot be found by eclipse-jpf_1.0.0.2

[cyrille-artho]

Same at issue #279. Looks like a configuration/Java version issue.

Note that the Eclipse plugin is not supported anymore, so please remove it from the CLASSPATH to avoid problems.