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

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

Revision: 960
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=960&view=rev
Author:   pcmehlitz
Date:     2008-08-13 18:50:38 +0000 (Wed, 13 Aug 2008)

Log Message:
-----------
* missing guards for getAnnotationInfo() on classes that don't have any, triggering NPEs e.g. when executing JUnit

Modified Paths:
--------------
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_Class.java
    trunk/src/gov/nasa/jpf/jvm/ClassInfo.java
    trunk/src/gov/nasa/jpf/jvm/MJIEnv.java


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