[Javapathfinder-svn] SF.net SVN: javapathfinder:[1693] trunk/env

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

Revision: 1693
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1693&view=rev
Author:   pcmehlitz
Date:     2009-06-26 05:33:34 +0000 (Fri, 26 Jun 2009)

Log Message:
-----------
* swapped ResourceBundle (which is a base class) with a native peer for java.util.logging.Level to make basic logging work (seems it just needs the localized Level name). It's not producing any output, but it also doesn't choke. Since ResourceBundles are heavily used, and ResourceBundle itself is an abstract base, we should not replace it with a partial model that breaks the hierarchy. It certainly makes sense to have a full model of the whole hierarchy at some point

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

Removed Paths:
-------------
    trunk/env/jpf/java/util/ResourceBundle.java

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