java -jar lib/jpf-boot.jar fails

[Bob Futrelle]

(I tried to send this earlier, but it jumped out of the topic text box before I could finish.

• Bob Futrelle bob DOT futrelle AT gmail DOT com
  Work done on MacBook Pro OS 10.9.2

$java -version
java version "1.7.0_45"
Java(TM) SE Runtime Environment (build 1.7.0_45-b18)
Java HotSpot(TM) 64-Bit Server VM (build 24.45-b08, mixed mode)

In the directory:

/Users/robertfutrelle/Research/PluginsEtc/jpf-demo-src-1.5.0
$ls
INSTALL.txt jpf-boot-error.txt plugins/ splash.png
README.txt lib/ profile/ temp/
boot.properties log4j.properties run-dev.bat
build.xml logs/ run.bat
changelog.txt nbproject/ run.sh
$ls lib
commons-logging.jar jpf-tools.jar jxp.jar
jpf-boot.jar jpf.jar log4j.jar

The command

java -jar lib/jpf-boot.jar

yields a splash screen that says,

Java Toolbox
Powered by JPF

Then a dialog entitled, "Application Start Failed"
Its Details says,

"Sun Mar 02 15:19:32 EST 2014

---

Exception details.

Class: org.java.plugin.PluginLifecycleException
Message: can't find plug-in class org.jpf.demo.toolbox.core.CorePlugin

Stack trace:

org.java.plugin.standard.StandardPluginLifecycleHandler.createPluginInstance(Unknown Source)
org.java.plugin.standard.StandardPluginManager.activatePlugin(Unknown Source)
org.java.plugin.standard.StandardPluginManager.getPlugin(Unknown Source)
org.java.plugin.boot.DefaultApplicationInitializer.initApplication(Unknown Source)
org.java.plugin.boot.Boot.initApplication(Unknown Source)
org.java.plugin.boot.Boot.boot(Unknown Source)
org.java.plugin.boot.Boot.main(Unknown Source)

Caused by java.lang.ClassNotFoundException: org.jpf.demo.toolbox.core.CorePlugin

org.java.plugin.standard.StandardPluginClassLoader.loadClass(Unknown Source)
java.lang.ClassLoader.loadClass(ClassLoader.java:358)
org.java.plugin.standard.StandardPluginLifecycleHandler.createPluginInstance(Unknown Source)
org.java.plugin.standard.StandardPluginManager.activatePlugin(Unknown Source)
org.java.plugin.standard.StandardPluginManager.getPlugin(Unknown Source)
org.java.plugin.boot.DefaultApplicationInitializer.initApplication(Unknown Source)
org.java.plugin.boot.Boot.initApplication(Unknown Source)
org.java.plugin.boot.Boot.boot(Unknown Source)
org.java.plugin.boot.Boot.main(Unknown Source)

----------------------------------------------- "
[many more lines follow]

[Pavel Sharov]

The problem is that the jpf engine cannot find plugins binaries located in plugins/ directory. Inside 'jpf-demo-src-1.5.0', you have only plugins' sources. You should instead run the demo from within 'jpf-demo-bin-1.5.0' directory (expanded jpf-demo-bin-1.5.0.zip).

[Bob Futrelle]

My dumb. Trying to run sources.
I'll do it correctly now. Should work.
Thanks.

• Bob

[Bob Futrelle]

When I tried to run in the binary environment, as suggested,
it still couldn't find what it needed.

/Users/robertfutrelle/Research/PluginsEtc/jpf-bin-1.5.1
$ls
MAVEN.txt jpf-boot-error.txt jpf.jar
README.txt jpf-boot-pom.xml lib/
boot.properties jpf-boot.jar license.txt
changelog.txt jpf-pom.xml splash.png
docs/ jpf-tools.jar log4j.properties
$java -jar jpf-boot.jar

It complained about properties, so I copied the properties files from the src directory.
Then it had further complaints - couldn't find LogFactory.

[Pavel Sharov]

You are using jpf-bin-1.5.1.zip which is JPF's own binary output. Since you want to run the demo, you should take jpf-demo-bin-1.5.0.zip.

[Bob Futrelle]

I was just rushing ahead, not stopping to reflect.
When I did, things worked fine.
Thanks for putting up with my dumb rushing.