Newbie to JPF

Help
Ganesh
2008-02-22
2013-05-01
  • Ganesh

    Ganesh - 2008-02-22

    Hi,

    I am a newbie and i am unable to get started with JPF

    I can't get the project as an eclipse download using Subclipse.

    Looks like the project does not exist there as of today.

    I manually moved in the projects to Eclipse and tried executing it. This is what i receive when i tried to run JPF on the demo application.

    error during VM runtime initialization:
    uncaught exception in thread main #0 : java.lang.reflect.InvocationTargetException: in java.lang.Class.forName : gov.nasa.jpf.JPFException: could not load class

    javax.realtime.UnknownHappeningException
        at java.lang.Class.forName(java\lang\Class.java:native)
        at com.ibm.jvm.Util.isRealTime(com\ibm\jvm\Util.java:50)
        at sun.io.Converters.cache(sun\io\Converters.java:115)
        at sun.io.Converters.newConverter(sun\io\Converters.java:337)
        at sun.io.CharToByteConverter.getConverter(sun\io\CharToByteConverter.java:94)
        at java.lang.StringCoding$EncoderCache.makeEncoder(java\lang\StringCoding.java:207)
        at java.lang.StringCoding$EncoderCache$1.run(java\lang\StringCoding.java:257)
        at java.security.AccessController.doPrivileged(java\security\AccessController.java:53)
        at java.lang.StringCoding$EncoderCache.getEncoder(java\lang\StringCoding.java:254)
        at java.lang.StringCoding.getEncoder(java\lang\StringCoding.java:337)
        at java.lang.StringCoding.encode(java\lang\StringCoding.java:478)
        at java.lang.StringCoding.encode(java\lang\StringCoding.java:542)
        at java.lang.String.getBytes(java\lang\String.java:592)
        at java.io.PrintStream.<clinit>(java\io\PrintStream.java:80)

    I don't see the UnknownHappeningException in my classpath so the error is explainable but where does this come from? It does not seem to be part of Standard JDK jars?

    Appreciate any assistance.

    Thanks,
    Manglu

     

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks