EscJava installation problems in Eclipse

[atiti]

I am (still) failing to get much functionality out of the EscJava plugin available at http://kind.ucd.ie/products/opensource/Mobius/updates/. The JML compiler seems to compile my files OK (I get error messages when typing syntactically incorrect Java), but:

• My file(s) show a marker "Caution: Using given file as the .java file, even though it is not the java file for escjava". (escjava is my package name.) However, the marker shows up in the correct java file. Should I set another classpath somewhere?
• The Eclipse error log shows warnings: "A problem occured during JML2 background checking!" and "JML2 checker: Main.java had problems", both with the addendum "An exception stack trace is not available."
• I have not been able to determine if EscJava actually does anything.

Thanks for your help, Arend

[atiti]

From: kiniry (GH: kiniry) Date: Mon Feb 8 21:27:59 2010

Are you perhaps using a workspace with a linked (rather than copied) project? This is usually the situation with the first problem.

The second problem is with the JML2 plugin, so you should report it to Werner at ETHZ. Have a look at Eclipse's log for more details.

I've been making screencasts about using the Mobius PVE, so I'll make one about ESC/Java use soon.