Comment Re:This isn't possible is it? (Score 1) 243
Tried JPF on a simple program;
I get: Exception: gov.nasa.jpf.JPFException: Class.newInstance() not yet supported
They include about 16 examples with the dist, but has anyone other than the authors used this?
