java.lang.NoClassDefFoundError: Could not initialize class java.util.logging.LogRecord

Google Groups | zhang | 4 months ago
tip
Click on the to mark the solution that helps you, Samebug will learn from it.
As a community member, you’ll be rewarded for you help.
  1. 0

    jpf-symbc: Could not initialize class java.util.logging.LogRecord

    Google Groups | 4 months ago | zhang
    java.lang.NoClassDefFoundError: Could not initialize class java.util.logging.LogRecord

    Root Cause Analysis

    1. java.lang.NoClassDefFoundError

      Could not initialize class java.util.logging.LogRecord

      at java.util.logging.Logger.log()
    2. Java RT
      Logger.severe
      1. java.util.logging.Logger.log(Logger.java:787)
      2. java.util.logging.Logger.severe(Logger.java:1463)
      2 frames
    3. gov.nasa.jpf
      JPF.run
      1. gov.nasa.jpf.util.JPFLogger.severe(JPFLogger.java:169)
      2. gov.nasa.jpf.vm.SingleProcessVM.initialize(SingleProcessVM.java:143)
      3. gov.nasa.jpf.JPF.run(JPF.java:611)
      3 frames
    4. edu.udel.mass
      Main.main
      1. edu.udel.mass.main.Main$.main(Config.scala:32)
      2. edu.udel.mass.main.Main.main(Config.scala)
      2 frames
    5. Java RT
      Method.invoke
      1. sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
      2. sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
      3. sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
      4. java.lang.reflect.Method.invoke(Method.java:483)[trace]
      4 frames