[Javapathfinder-user] Class.newInstance() not yet supported

[Atwood, J. W. <joh...@hp...>]

JPF users,

Trying to learn about JPF, I ran the jpf run-tests, and a few of the
examples.
Then I ran it on my own program, and get:
	Class.newInstance() not yet supported

Is all dynamic object creation prohibited, and, if so, is that a
fundamental aspect of JPF?

Thanks,


John Atwood