[Javapathfinder-devel] SF.net SVN: javapathfinder: [236] trunk

SourceForge Headquarters 225 Broadway Suite 1600 San Diego, CA 92101 +1 (858) 422-6466

Revision: 236
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=236&view=rev
Author:   pcmehlitz
Date:     2007-02-07 16:07:29 -0800 (Wed, 07 Feb 2007)

Log Message:
-----------
* removed the annoying snapshot printout in ConsolePublisher if the program is back
in initial state. No point in printing this out

* added a dummy java.lang.Runtime native peer, just to avoid
UnsatisfiedLinkErrors

Modified Paths:
--------------
    trunk/src/gov/nasa/jpf/report/ConsolePublisher.java
    trunk/src/gov/nasa/jpf/report/Reporter.java

Added Paths:
-----------
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_Runtime.java

This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.