[Javapathfinder-svn] SF.net SVN: javapathfinder:[940] trunk

[<pcm...@us...>]

Revision: 940
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=940&view=rev
Author:   pcmehlitz
Date:     2008-07-30 01:25:08 +0000 (Wed, 30 Jul 2008)

Log Message:
-----------
* attempt to clean up nbproject/project.xml so that the NB internal compiler doesn't do bogus complains anymore (some things were spurious)

* added a JPF.createConfig(String configName,String[] args) so that we don't need to create silly pseudo args if we just run off a config file
(this required some sanity checks in Config in case the args are null)

Modified Paths:
--------------
    trunk/nbproject/project.xml
    trunk/src/gov/nasa/jpf/Config.java
    trunk/src/gov/nasa/jpf/JPF.java


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