Sy Nguyen

Anyone can help confirm the issue "JPF only works with Java 8"?

Hi @ddimon, Currently I am facing a critical issue "library is not visible for another plugin" when running JPF on Java version 10.0.2 (certainly I have already used <export prefix="*">). But It works perfect on Java version 1.8.</export> I tried to reproduce this issue on the source "jpf-demo-src-1.5.0.zip" as follow: + Moved the lib "lib/java2html.jar" from the plugin org.jpf.demo.toolbox.codecolorer to org.jpf.demo.toolbox.core, <?xml version="1.0" ?> <!DOCTYPE plugin PUBLIC "-//JPF//Java Plug-in...