loading property file: /home/vagrant/.jpf/site.properties loading property file: /vagrant/AnalysisEngine/jpf/jpf-core/jpf.properties loading property file: /vagrant/AnalysisEngine/jpf/jpf-symbc/jpf.properties loading property file: test.jpf collected native_classpath=/vagrant/AnalysisEngine/jpf/jpf-symbc/build/jpf-symbc.jar,/vagrant/AnalysisEngine/jpf/jpf-symbc/build/jpf-symbc-annotations.jar,/vagrant/AnalysisEngine/jpf/jpf-symbc/lib/choco-1_2_04.jar,/vagrant/AnalysisEngine/jpf/jpf-symbc/lib/choco-solver-2.1.1-20100709.142532-2.jar,/vagrant/AnalysisEngine/jpf/jpf-symbc/lib/STPJNI.jar,/vagrant/AnalysisEngine/jpf/jpf-symbc/lib/scale.jar,/vagrant/AnalysisEngine/jpf/jpf-symbc/lib/automaton.jar,/vagrant/AnalysisEngine/jpf/jpf-symbc/lib/iasolver.jar,/vagrant/AnalysisEngine/jpf/jpf-symbc/lib/string.jar,/vagrant/AnalysisEngine/jpf/jpf-symbc/lib/solver.jar,/vagrant/AnalysisEngine/jpf/jpf-symbc/lib/commons-lang-2.4.jar,/vagrant/AnalysisEngine/jpf/jpf-symbc/lib/commons-math-1.2.jar,/vagrant/AnalysisEngine/jpf/jpf-symbc/lib/coral.jar,/vagrant/AnalysisEngine/jpf/jpf-symbc/lib/opt4j-2.4.jar,/vagrant/AnalysisEngine/jpf/jpf-symbc/lib/libcvc3.jar,/vagrant/AnalysisEngine/jpf/jpf-symbc/lib/org.sat4j.core.jar,/vagrant/AnalysisEngine/jpf/jpf-symbc/lib/org.sat4j.pb.jar,/vagrant/AnalysisEngine/jpf/jpf-symbc/lib/aima-core.jar,/vagrant/AnalysisEngine/jpf/jpf-symbc/lib/yicesapijava.jar,/vagrant/AnalysisEngine/jpf/jpf-symbc/lib/PathConditionsReliability-0.0.1.jar,/vagrant/AnalysisEngine/jpf/jpf-symbc/lib/grappa.jar,/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf.jar,/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-annotations.jar collected native_libraries=null [INFO] watching for autoload annotation @gov.nasa.jpf.Const [INFO] watching for autoload annotation @gov.nasa.jpf.NonNull [WARNING] unknown classpath element: /vagrant/AnalysisEngine/lib/xml [WARNING] unknown classpath element: /vagrant/AnalysisEngine/ParserAPIs-2.6.2.jar [INFO] collected system classpath: /vagrant/AnalysisEngine/lib/tools-1.5.0.jar:/vagrant/AnalysisEngine/./tester-0.0.1-SNAPSHOT.jar:/vagrant/AnalysisEngine/lib/robolectric-annotations-2.4.jar:/vagrant/AnalysisEngine/lib/robolectric-2.4.jar:/vagrant/AnalysisEngine/lib/objenesis-1.3.jar:/vagrant/AnalysisEngine/lib/sqlite4java-0.282.jar:/vagrant/AnalysisEngine/lib/asm-5.0.1.jar:/vagrant/AnalysisEngine/lib/asm-commons-5.0.1.jar:/vagrant/AnalysisEngine/lib/asm-tree-5.0.1.jar:/vagrant/AnalysisEngine/lib/asm-util-5.0.1.jar:/vagrant/AnalysisEngine/lib/asm-analysis-5.0.1.jar:/vagrant/AnalysisEngine/lib/commons-logging-1.1.1.jar:/vagrant/AnalysisEngine/lib/commons-codec-1.3.jar:/vagrant/AnalysisEngine/lib/httpclient-4.0.3.jar:/vagrant/AnalysisEngine/lib/httpcore-4.0.1.jar:/vagrant/AnalysisEngine/lib/vtd-xml-2.11.jar:/vagrant/AnalysisEngine/lib/maven-ant-tasks-2.1.3.jar:/vagrant/AnalysisEngine/lib/ant-1.8.0.jar:/vagrant/AnalysisEngine/lib/ant-launcher-1.8.0.jar:/vagrant/AnalysisEngine/lib/junit-4.11.jar:/vagrant/AnalysisEngine/lib/hamcrest-core-1.3.jar:/vagrant/AnalysisEngine/lib/android-4.1.1.4.jar:/vagrant/AnalysisEngine/lib/opengl-api-gl1.1-android-2.1_r1.jar:/vagrant/AnalysisEngine/lib/xpp3-1.1.4c.jar:/vagrant/AnalysisEngine/lib/json-20080701.jar:/vagrant/AnalysisEngine/lib/support-v4-r7.jar:/vagrant/AnalysisEngine/jpf/jpf-symbc/build/jpf-symbc-classes.jar:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar:/vagrant/AnalysisEngine/jpf/jpf-core/build/examples:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/resources.jar:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/jsse.jar:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/jce.jar:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/charsets.jar:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rhino.jar Running Symbolic PathFinder ... symbolic.dp=choco symbolic.string_dp_timeout_ms=0 symbolic.string_dp=none symbolic.concolic=true symbolic.choco_time_bound=30000 symbolic.max_pc_length=2147483647 symbolic.max_pc_msec=0 symbolic.min_int=-1000000 symbolic.max_int=1000000 symbolic.min_double=-8.0 symbolic.max_double=7.0 [INFO] loading class java.lang.Object from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/java/lang/Object.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_java_lang_Object [INFO] load peer: gov.nasa.jpf.vm.JPF_java_lang_Object [INFO] load MJI method: notifyAll()V [INFO] load MJI method: getClass()Ljava/lang/Class; [INFO] load MJI method: clone()Ljava/lang/Object; [INFO] load MJI method: hashCode()I [INFO] load MJI method: wait()V [INFO] load MJI method: wait(J)V [INFO] load MJI method: wait(JI)V [INFO] load MJI method: notify()V [INFO] load MJI method: toString()Ljava/lang/String; [INFO] loading class java.lang.Class from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/java/lang/Class.class [INFO] loading class java.io.Serializable from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/io/Serializable.class [INFO] loading class java.lang.reflect.GenericDeclaration from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/reflect/GenericDeclaration.class [INFO] loading class java.lang.reflect.Type from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/reflect/Type.class [INFO] loading class java.lang.reflect.AnnotatedElement from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/reflect/AnnotatedElement.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_java_lang_Class [INFO] load peer: gov.nasa.jpf.vm.JPF_java_lang_Class [INFO] load MJI method: isArray()Z [INFO] load MJI method: getSuperclass()Ljava/lang/Class; [INFO] load MJI method: getDeclaredMethod(Ljava/lang/String;[Ljava/lang/Class;)Ljava/lang/reflect/Method; [INFO] load MJI method: getDeclaredConstructor([Ljava/lang/Class;)Ljava/lang/reflect/Constructor; [INFO] load MJI method: getMethod(Ljava/lang/String;[Ljava/lang/Class;)Ljava/lang/reflect/Method; [INFO] load MJI method: getMethods()[Ljava/lang/reflect/Method; [INFO] load MJI method: getDeclaredMethods()[Ljava/lang/reflect/Method; [INFO] load MJI method: getConstructors()[Ljava/lang/reflect/Constructor; [INFO] load MJI method: getDeclaredConstructors()[Ljava/lang/reflect/Constructor; [INFO] load MJI method: getConstructor([Ljava/lang/Class;)Ljava/lang/reflect/Constructor; [INFO] load MJI method: initialize0()V [INFO] load MJI method: getDeclaredFields()[Ljava/lang/reflect/Field; [INFO] load MJI method: getFields()[Ljava/lang/reflect/Field; [INFO] load MJI method: getDeclaredField(Ljava/lang/String;)Ljava/lang/reflect/Field; [INFO] load MJI method: getField(Ljava/lang/String;)Ljava/lang/reflect/Field; [INFO] load MJI method: getModifiers()I [INFO] load MJI method: getEnumConstants()[Ljava/lang/Object; [INFO] load MJI method: getInterfaces()[Ljava/lang/Class; [INFO] load MJI method: getByteArrayFromResourceStream(Ljava/lang/String;)[B [INFO] load MJI method: getComponentType()Ljava/lang/Class; [INFO] load MJI method: isInstance(Ljava/lang/Object;)Z [INFO] load MJI method: isInterface()Z [INFO] load MJI method: isAssignableFrom(Ljava/lang/Class;)Z [INFO] load MJI method: getAnnotations()[Ljava/lang/annotation/Annotation; [INFO] load MJI method: getAnnotation(Ljava/lang/Class;)Ljava/lang/annotation/Annotation; [INFO] load MJI method: getPrimitiveClass(Ljava/lang/String;)Ljava/lang/Class; [INFO] load MJI method: desiredAssertionStatus()Z [INFO] load MJI method: forName(Ljava/lang/String;)Ljava/lang/Class; [INFO] load MJI method: newInstance()Ljava/lang/Object; [INFO] load MJI method: getEnclosingClass()Ljava/lang/Class; [INFO] load MJI method: getDeclaredClasses()[Ljava/lang/Class; [INFO] load MJI method: getCanonicalName()Ljava/lang/String; [INFO] load MJI method: isAnnotation()Z [INFO] load MJI method: isAnnotationPresent(Ljava/lang/Class;)Z [INFO] load MJI method: getDeclaredAnnotations()[Ljava/lang/annotation/Annotation; [INFO] load MJI method: getEnclosingConstructor()Ljava/lang/reflect/Constructor; [INFO] load MJI method: getEnclosingMethod()Ljava/lang/reflect/Method; [INFO] load MJI method: isAnonymousClass()Z [INFO] load MJI method: isEnum()Z [INFO] load MJI method: getDeclaringClass()Ljava/lang/Class; [INFO] load MJI method: isLocalClass()Z [INFO] load MJI method: isMemberClass()Z [INFO] load MJI method: getResolvedName(Ljava/lang/String;)Ljava/lang/String; [INFO] loading class java.lang.ClassLoader from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/java/lang/ClassLoader.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_java_lang_ClassLoader [INFO] load peer: gov.nasa.jpf.vm.JPF_java_lang_ClassLoader [INFO] load MJI method: ()V [INFO] load MJI method: (Ljava/lang/ClassLoader;)V [INFO] load MJI method: getSystemClassLoader()Ljava/lang/ClassLoader; [INFO] load MJI method: getResource0(Ljava/lang/String;)Ljava/lang/String; [INFO] load MJI method: getResources0(Ljava/lang/String;)[Ljava/lang/String; [INFO] load MJI method: findLoadedClass(Ljava/lang/String;)Ljava/lang/Class; [INFO] load MJI method: findSystemClass(Ljava/lang/String;)Ljava/lang/Class; [INFO] load MJI method: defineClass0(Ljava/lang/String;[BII)Ljava/lang/Class; [INFO] load MJI method: getPackages()[Ljava/lang/Package; [INFO] load MJI method: getPackage(Ljava/lang/String;)Ljava/lang/Package; [INFO] load MJI method: setDefaultAssertionStatus(Z)V [INFO] load MJI method: setPackageAssertionStatus(Ljava/lang/String;Z)V [INFO] load MJI method: setClassAssertionStatus(Ljava/lang/String;Z)V [INFO] load MJI method: clearAssertionStatus()V [INFO] loading class java.lang.Cloneable from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/Cloneable.class [INFO] loading class java.lang.Boolean from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/Boolean.class [INFO] loading class java.lang.Comparable from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/Comparable.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_java_lang_Boolean [INFO] load peer: gov.nasa.jpf.vm.JPF_java_lang_Boolean [INFO] load MJI method: valueOf(Z)Ljava/lang/Boolean; [INFO] loading class java.lang.Character from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/Character.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_java_lang_Character [INFO] load peer: gov.nasa.jpf.vm.JPF_java_lang_Character [INFO] load MJI method: isLowerCase(C)Z [INFO] load MJI method: getNumericValue(C)I [INFO] load MJI method: isSpaceChar(C)Z [INFO] load MJI method: isSpace(C)Z [INFO] load MJI method: isTitleCase(C)Z [INFO] load MJI method: getType(C)I [INFO] load MJI method: isUnicodeIdentifierPart(C)Z [INFO] load MJI method: isUnicodeIdentifierStart(C)Z [INFO] load MJI method: isUpperCase(C)Z [INFO] load MJI method: isWhitespace(C)Z [INFO] load MJI method: [INFO] load MJI method: digit(CI)I [INFO] load MJI method: forDigit(II)C [INFO] load MJI method: toLowerCase(C)C [INFO] load MJI method: toTitleCase(C)C [INFO] load MJI method: toUpperCase(C)C [INFO] load MJI method: valueOf(C)Ljava/lang/Character; [INFO] load MJI method: isDigit(C)Z [INFO] load MJI method: isISOControl(C)Z [INFO] load MJI method: isIdentifierIgnorable(C)Z [INFO] load MJI method: isJavaIdentifierPart(C)Z [INFO] load MJI method: isJavaIdentifierStart(C)Z [INFO] load MJI method: isJavaLetterOrDigit(C)Z [INFO] load MJI method: isJavaLetter(C)Z [INFO] load MJI method: isLetterOrDigit(C)Z [INFO] load MJI method: isDefined(C)Z [INFO] load MJI method: isLetter(C)Z [INFO] loading class java.lang.Short from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/Short.class [INFO] loading class java.lang.Number from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/Number.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_java_lang_Short [INFO] load peer: gov.nasa.jpf.vm.JPF_java_lang_Short [INFO] load MJI method: parseShort(Ljava/lang/String;)S [INFO] load MJI method: parseShort(Ljava/lang/String;I)S [INFO] load MJI method: toString(S)Ljava/lang/String; [INFO] load MJI method: valueOf(S)Ljava/lang/Short; [INFO] loading class java.lang.Integer from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/Integer.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_java_lang_Integer [INFO] load peer: gov.nasa.jpf.vm.JPF_java_lang_Integer [INFO] load MJI method: parseInt(Ljava/lang/String;)I [INFO] load MJI method: parseInt(Ljava/lang/String;I)I [INFO] load MJI method: toBinaryString(I)Ljava/lang/String; [INFO] load MJI method: toHexString(I)Ljava/lang/String; [INFO] load MJI method: toOctalString(I)Ljava/lang/String; [INFO] load MJI method: toString(I)Ljava/lang/String; [INFO] load MJI method: toString(II)Ljava/lang/String; [INFO] load MJI method: valueOf(I)Ljava/lang/Integer; [INFO] loading class java.lang.Long from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/Long.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_java_lang_Long [INFO] load peer: gov.nasa.jpf.vm.JPF_java_lang_Long [INFO] load MJI method: parseLong(Ljava/lang/String;)J [INFO] load MJI method: toBinaryString(J)Ljava/lang/String; [INFO] load MJI method: toHexString(J)Ljava/lang/String; [INFO] load MJI method: toOctalString(J)Ljava/lang/String; [INFO] load MJI method: toString(J)Ljava/lang/String; [INFO] load MJI method: toString(JI)Ljava/lang/String; [INFO] load MJI method: valueOf(J)Ljava/lang/Long; [INFO] load MJI method: parseLong(Ljava/lang/String;I)J [INFO] loading class java.lang.Float from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/Float.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_java_lang_Float [INFO] load peer: gov.nasa.jpf.vm.JPF_java_lang_Float [INFO] load MJI method: floatToRawIntBits(F)I [INFO] load MJI method: intBitsToFloat(I)F [INFO] load MJI method: isInfinite(F)Z [INFO] load MJI method: floatToIntBits(F)I [INFO] load MJI method: isNaN(F)Z [INFO] loading class java.lang.Double from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/Double.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_java_lang_Double [INFO] load peer: gov.nasa.jpf.vm.JPF_java_lang_Double [INFO] load MJI method: isInfinite(D)Z [INFO] load MJI method: isNaN(D)Z [INFO] load MJI method: doubleToLongBits(D)J [INFO] load MJI method: doubleToRawLongBits(D)J [INFO] load MJI method: longBitsToDouble(J)D [INFO] load MJI method: toString(D)Ljava/lang/String; [INFO] loading class java.lang.Byte from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/Byte.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_java_lang_Byte [INFO] load peer: gov.nasa.jpf.vm.JPF_java_lang_Byte [INFO] load MJI method: valueOf(B)Ljava/lang/Byte; [INFO] loading class gov.nasa.jpf.BoxObjectCaches from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/gov/nasa/jpf/BoxObjectCaches.class [INFO] loading class java.lang.String from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/java/lang/String.class [INFO] loading class java.lang.CharSequence from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/CharSequence.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_java_lang_String [INFO] load peer: gov.nasa.jpf.vm.JPF_java_lang_String [INFO] load MJI method: init([CII)Ljava/lang/String; [INFO] load MJI method: init([III)Ljava/lang/String; [INFO] load MJI method: init([BIII)Ljava/lang/String; [INFO] load MJI method: init([BIILjava/lang/String;)Ljava/lang/String; [INFO] load MJI method: init([BII)Ljava/lang/String; [INFO] load MJI method: codePointAt(I)I [INFO] load MJI method: codePointBefore(I)I [INFO] load MJI method: codePointCount(II)I [INFO] load MJI method: offsetByCodePoints(II)I [INFO] load MJI method: getChars(II[CI)V [INFO] load MJI method: getChars([CI)V [INFO] load MJI method: getBytes(II[BI)V [INFO] load MJI method: getBytes(Ljava/lang/String;)[B [INFO] load MJI method: getBytes()[B [INFO] load MJI method: charAt(I)C [INFO] load MJI method: equals0([C[CI)Z [INFO] load MJI method: equalsIgnoreCase(Ljava/lang/String;)Z [INFO] load MJI method: compareTo(Ljava/lang/String;)I [INFO] load MJI method: MJIcompare(Ljava/lang/String;Ljava/lang/String;)I [INFO] load MJI method: regionMatches(ILjava/lang/String;II)Z [INFO] load MJI method: regionMatches(ZILjava/lang/String;II)Z [INFO] load MJI method: startsWith(Ljava/lang/String;I)Z [INFO] load MJI method: startsWith(Ljava/lang/String;)Z [INFO] load MJI method: indexOf(I)I [INFO] load MJI method: indexOf(II)I [INFO] load MJI method: lastIndexOf(I)I [INFO] load MJI method: lastIndexOf(II)I [INFO] load MJI method: indexOf(Ljava/lang/String;)I [INFO] load MJI method: indexOf(Ljava/lang/String;I)I [INFO] load MJI method: lastIndexOf(Ljava/lang/String;I)I [INFO] load MJI method: substring(I)Ljava/lang/String; [INFO] load MJI method: substring(II)Ljava/lang/String; [INFO] load MJI method: concat(Ljava/lang/String;)Ljava/lang/String; [INFO] load MJI method: replace(CC)Ljava/lang/String; [INFO] load MJI method: matches(Ljava/lang/String;)Z [INFO] load MJI method: replaceFirst(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String; [INFO] load MJI method: replaceAll(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String; [INFO] load MJI method: split(Ljava/lang/String;I)[Ljava/lang/String; [INFO] load MJI method: split(Ljava/lang/String;)[Ljava/lang/String; [INFO] load MJI method: toLowerCase(Ljava/util/Locale;)Ljava/lang/String; [INFO] load MJI method: toLowerCase()Ljava/lang/String; [INFO] load MJI method: toUpperCase(Ljava/util/Locale;)Ljava/lang/String; [INFO] load MJI method: toUpperCase()Ljava/lang/String; [INFO] load MJI method: trim()Ljava/lang/String; [INFO] load MJI method: toCharArray()[C [INFO] load MJI method: format(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String; [INFO] load MJI method: format(Ljava/util/Locale;Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String; [INFO] load MJI method: intern()Ljava/lang/String; [INFO] load MJI method: valueOf(I)Ljava/lang/String; [INFO] load MJI method: valueOf(J)Ljava/lang/String; [INFO] load MJI method: valueOf(F)Ljava/lang/String; [INFO] load MJI method: valueOf(D)Ljava/lang/String; [INFO] load MJI method: hashCode()I [INFO] load MJI method: equals(Ljava/lang/Object;)Z [INFO] loading class java.lang.Thread from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/java/lang/Thread.class [INFO] loading class java.lang.Runnable from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/Runnable.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_java_lang_Thread [INFO] load peer: gov.nasa.jpf.vm.JPF_java_lang_Thread [INFO] load MJI method: isAlive()Z [INFO] load MJI method: init0(Ljava/lang/ThreadGroup;Ljava/lang/Runnable;Ljava/lang/String;J)V [INFO] load MJI method: setDaemon0(Z)V [INFO] load MJI method: dumpStack()V [INFO] load MJI method: setName0(Ljava/lang/String;)V [INFO] load MJI method: setPriority0(I)V [INFO] load MJI method: countStackFrames()I [INFO] load MJI method: currentThread()Ljava/lang/Thread; [INFO] load MJI method: holdsLock(Ljava/lang/Object;)Z [INFO] load MJI method: interrupt()V [INFO] load MJI method: isInterrupted()Z [INFO] load MJI method: interrupted()Z [INFO] load MJI method: start()V [INFO] load MJI method: yield()V [INFO] load MJI method: sleep(JI)V [INFO] load MJI method: suspend()V [INFO] load MJI method: resume()V [INFO] load MJI method: join()V [INFO] load MJI method: join(J)V [INFO] load MJI method: join(JI)V [INFO] load MJI method: getState0()I [INFO] load MJI method: getId()J [INFO] load MJI method: stop()V [INFO] load MJI method: stop(Ljava/lang/Throwable;)V [INFO] loading class java.lang.ThreadGroup from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/java/lang/ThreadGroup.class [INFO] loading class java.lang.Thread$UncaughtExceptionHandler from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/java/lang/Thread$UncaughtExceptionHandler.class [INFO] loading class java.lang.Thread$State from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/java/lang/Thread$State.class [INFO] loading class java.lang.Enum from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/Enum.class [INFO] loading class java.lang.Thread$Permit from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/java/lang/Thread$Permit.class [INFO] loading class java.io.PrintStream from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/io/PrintStream.class [INFO] loading class java.io.FilterOutputStream from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/io/FilterOutputStream.class [INFO] loading class java.io.OutputStream from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/io/OutputStream.class [INFO] loading class java.io.Closeable from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/io/Closeable.class [INFO] loading class java.lang.AutoCloseable from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/AutoCloseable.class [INFO] loading class java.io.Flushable from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/io/Flushable.class [INFO] loading class java.lang.Appendable from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/Appendable.class [INFO] loading class java.io.InputStream from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/io/InputStream.class [INFO] loading class java.lang.System from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/java/lang/System.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_java_lang_System [INFO] load peer: gov.nasa.jpf.vm.JPF_java_lang_System [INFO] load MJI method: arraycopy(Ljava/lang/Object;ILjava/lang/Object;II)V [INFO] load MJI method: getenv(Ljava/lang/String;)Ljava/lang/String; [INFO] load MJI method: createSystemOut()Ljava/io/PrintStream; [INFO] load MJI method: createSystemErr()Ljava/io/PrintStream; [INFO] load MJI method: getKeyValuePairs()[Ljava/lang/String; [INFO] load MJI method: currentTimeMillis()J [INFO] load MJI method: nanoTime()J [INFO] load MJI method: exit(I)V [INFO] load MJI method: gc()V [INFO] load MJI method: identityHashCode(Ljava/lang/Object;)I [INFO] loading class java.lang.ref.Reference from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/java/lang/ref/Reference.class [INFO] loading class java.lang.ref.WeakReference from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/java/lang/ref/WeakReference.class [INFO] loading class gov.nasa.jpf.FinalizerThread from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/gov/nasa/jpf/FinalizerThread.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_gov_nasa_jpf_FinalizerThread [INFO] load peer: gov.nasa.jpf.vm.JPF_gov_nasa_jpf_FinalizerThread [INFO] load MJI method: runFinalizer(Ljava/lang/Object;)V [INFO] load MJI method: manageState()V [INFO] loading class tester.DatClass from jar:file:/vagrant/AnalysisEngine/./tester-0.0.1-SNAPSHOT.jar!/tester/DatClass.class JavaPathfinder v7.0 (rev 1225) - (C) RIACS/NASA Ames Research Center ====================================================== system under test tester.DatClass.main() ====================================================== search started: 12/1/14 11:22 PM [INFO] loading class java.io.ObjectStreamField from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/io/ObjectStreamField.class [INFO] loading class java.lang.String$CaseInsensitiveComparator from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/java/lang/String$CaseInsensitiveComparator.class [INFO] loading class java.util.Comparator from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/Comparator.class [INFO] loading class gov.nasa.jpf.ConsoleOutputStream from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/gov/nasa/jpf/ConsoleOutputStream.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_gov_nasa_jpf_ConsoleOutputStream [INFO] load peer: gov.nasa.jpf.vm.JPF_gov_nasa_jpf_ConsoleOutputStream [INFO] load MJI method: println(Z)V [INFO] load MJI method: print(C)V [INFO] load MJI method: write([BII)V [INFO] load MJI method: print(D)V [INFO] load MJI method: print(F)V [INFO] load MJI method: print(I)V [INFO] load MJI method: print(J)V [INFO] load MJI method: print(Ljava/lang/String;)V [INFO] load MJI method: print(Z)V [INFO] load MJI method: println()V [INFO] load MJI method: println(C)V [INFO] load MJI method: println(D)V [INFO] load MJI method: println(F)V [INFO] load MJI method: println(I)V [INFO] load MJI method: println(J)V [INFO] load MJI method: write(I)V [INFO] load MJI method: println(Ljava/lang/String;)V [INFO] load MJI method: printf(Ljava/lang/String;[Ljava/lang/Object;)Ljava/io/PrintStream; [INFO] load MJI method: ()V [INFO] loading class java.util.Properties from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/Properties.class [INFO] loading class java.util.Hashtable from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/Hashtable.class [INFO] loading class java.util.Dictionary from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/Dictionary.class [INFO] loading class java.util.Map from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/Map.class [INFO] loading class java.util.Hashtable$Entry from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/Hashtable$Entry.class [INFO] loading class java.util.Map$Entry from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/Map$Entry.class [INFO] loading class java.lang.Math from jar:file:/vagrant/AnalysisEngine/jpf/jpf-symbc/build/jpf-symbc-classes.jar!/java/lang/Math.class [INFO] loaded peer class: gov.nasa.jpf.symbc.JPF_java_lang_Math [INFO] load peer: gov.nasa.jpf.symbc.JPF_java_lang_Math [INFO] load MJI method: sqrt(D)D [INFO] load MJI method: random()D [INFO] load MJI method: exp(D)D [INFO] load MJI method: asin(D)D [INFO] load MJI method: acos(D)D [INFO] load MJI method: atan(D)D [INFO] load MJI method: atan2(DD)D [INFO] load MJI method: log(D)D [INFO] load MJI method: log10(D)D [INFO] load MJI method: tan(D)D [INFO] load MJI method: sin(D)D [INFO] load MJI method: cos(D)D [INFO] load MJI method: pow(DD)D [INFO] loading class sun.misc.VM from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/misc/VM.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_sun_misc_VM [INFO] load peer: gov.nasa.jpf.vm.JPF_sun_misc_VM [INFO] load MJI method: initialize()V [INFO] loading class java.lang.System$1 from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/java/lang/System$1.class [INFO] loading class sun.misc.JavaLangAccess from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/sun/misc/JavaLangAccess.class [INFO] loading class sun.misc.SharedSecrets from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/sun/misc/SharedSecrets.class [INFO] loading class sun.misc.Unsafe from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/sun/misc/Unsafe.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_sun_misc_Unsafe [INFO] load peer: gov.nasa.jpf.vm.JPF_sun_misc_Unsafe [INFO] load MJI method: putObjectVolatile(Ljava/lang/Object;JLjava/lang/Object;)V [INFO] load MJI method: putOrderedObject(Ljava/lang/Object;JLjava/lang/Object;)V [INFO] load MJI method: getBoolean(Ljava/lang/Object;J)Z [INFO] load MJI method: getBooleanVolatile(Ljava/lang/Object;J)Z [INFO] load MJI method: putBoolean(Ljava/lang/Object;JZ)V [INFO] load MJI method: putBooleanVolatile(Ljava/lang/Object;JZ)V [INFO] load MJI method: getByte(Ljava/lang/Object;J)B [INFO] load MJI method: getByteVolatile(Ljava/lang/Object;J)B [INFO] load MJI method: putByte(Ljava/lang/Object;JB)V [INFO] load MJI method: putByteVolatile(Ljava/lang/Object;JB)V [INFO] load MJI method: getChar(Ljava/lang/Object;J)C [INFO] load MJI method: getCharVolatile(Ljava/lang/Object;J)C [INFO] load MJI method: putChar(Ljava/lang/Object;JC)V [INFO] load MJI method: putCharVolatile(Ljava/lang/Object;JC)V [INFO] load MJI method: getShort(Ljava/lang/Object;J)S [INFO] load MJI method: getShortVolatile(Ljava/lang/Object;J)S [INFO] load MJI method: putShort(Ljava/lang/Object;JS)V [INFO] load MJI method: putShortVolatile(Ljava/lang/Object;JS)V [INFO] load MJI method: getInt(Ljava/lang/Object;J)I [INFO] load MJI method: getIntVolatile(Ljava/lang/Object;J)I [INFO] load MJI method: putInt(Ljava/lang/Object;JI)V [INFO] load MJI method: putIntVolatile(Ljava/lang/Object;JI)V [INFO] load MJI method: putOrderedInt(Ljava/lang/Object;JI)V [INFO] load MJI method: getFloat(Ljava/lang/Object;J)F [INFO] load MJI method: getFloatVolatile(Ljava/lang/Object;J)F [INFO] load MJI method: putFloat(Ljava/lang/Object;JF)V [INFO] load MJI method: putFloatVolatile(Ljava/lang/Object;JF)V [INFO] load MJI method: getLong(Ljava/lang/Object;J)J [INFO] load MJI method: getLongVolatile(Ljava/lang/Object;J)J [INFO] load MJI method: putLong(Ljava/lang/Object;JJ)V [INFO] load MJI method: putLongVolatile(Ljava/lang/Object;JJ)V [INFO] load MJI method: putOrderedLong(Ljava/lang/Object;JJ)V [INFO] load MJI method: getDouble(Ljava/lang/Object;J)D [INFO] load MJI method: getDoubleVolatile(Ljava/lang/Object;J)D [INFO] load MJI method: putDouble(Ljava/lang/Object;JD)V [INFO] load MJI method: putDoubleVolatile(Ljava/lang/Object;JD)V [INFO] load MJI method: arrayBaseOffset(Ljava/lang/Class;)I [INFO] load MJI method: arrayIndexScale(Ljava/lang/Class;)I [INFO] load MJI method: allocateMemory(J)J [INFO] load MJI method: freeMemory(J)V [INFO] load MJI method: getByte(J)B [INFO] load MJI method: putByte(JB)V [INFO] load MJI method: getChar(J)C [INFO] load MJI method: putChar(JC)V [INFO] load MJI method: getInt(J)I [INFO] load MJI method: putInt(JI)V [INFO] load MJI method: getLong(J)J [INFO] load MJI method: putLong(JJ)V [INFO] load MJI method: getUnsafe()Lsun/misc/Unsafe; [INFO] load MJI method: objectFieldOffset(Ljava/lang/reflect/Field;)J [INFO] load MJI method: fieldOffset(Ljava/lang/reflect/Field;)I [INFO] load MJI method: compareAndSwapObject(Ljava/lang/Object;JLjava/lang/Object;Ljava/lang/Object;)Z [INFO] load MJI method: compareAndSwapInt(Ljava/lang/Object;JII)Z [INFO] load MJI method: compareAndSwapLong(Ljava/lang/Object;JJJ)Z [INFO] load MJI method: park(ZJ)V [INFO] load MJI method: unpark(Ljava/lang/Object;)V [INFO] load MJI method: ensureClassInitialized(Ljava/lang/Class;)V [INFO] load MJI method: getObject(Ljava/lang/Object;J)Ljava/lang/Object; [INFO] load MJI method: getObjectVolatile(Ljava/lang/Object;J)Ljava/lang/Object; [INFO] load MJI method: putObject(Ljava/lang/Object;JLjava/lang/Object;)V Starting up wrapper! [INFO] loading class org.junit.runner.JUnitCore from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runner/JUnitCore.class [INFO] loading class org.junit.runner.notification.RunNotifier from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runner/notification/RunNotifier.class [INFO] loading class java.util.ArrayList from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/ArrayList.class [INFO] loading class java.util.AbstractList from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/AbstractList.class [INFO] loading class java.util.AbstractCollection from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/AbstractCollection.class [INFO] loading class java.util.Collection from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/Collection.class [INFO] loading class java.lang.Iterable from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/Iterable.class [INFO] loading class java.util.List from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/List.class [INFO] loading class java.util.RandomAccess from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/RandomAccess.class [INFO] loading class java.util.Collections from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/Collections.class [INFO] loading class java.util.Collections$EmptySet from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/Collections$EmptySet.class [INFO] loading class java.util.AbstractSet from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/AbstractSet.class [INFO] loading class java.util.Set from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/Set.class [INFO] loading class java.util.Collections$EmptyList from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/Collections$EmptyList.class [INFO] loading class java.util.Collections$EmptyMap from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/Collections$EmptyMap.class [INFO] loading class java.util.AbstractMap from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/AbstractMap.class [INFO] loading class java.util.Collections$SynchronizedRandomAccessList from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/Collections$SynchronizedRandomAccessList.class [INFO] loading class java.util.Collections$SynchronizedList from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/Collections$SynchronizedList.class [INFO] loading class java.util.Collections$SynchronizedCollection from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/Collections$SynchronizedCollection.class [INFO] loading class tester.RoboletricTest from jar:file:/vagrant/AnalysisEngine/./tester-0.0.1-SNAPSHOT.jar!/tester/RoboletricTest.class [INFO] loading class org.junit.runner.Computer from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runner/Computer.class [INFO] loading class org.junit.runner.Request from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runner/Request.class [INFO] loading class org.junit.internal.builders.AllDefaultPossibilitiesBuilder from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/internal/builders/AllDefaultPossibilitiesBuilder.class [INFO] loading class org.junit.runners.model.RunnerBuilder from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runners/model/RunnerBuilder.class [INFO] loading class java.util.HashSet from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/HashSet.class [INFO] loading class java.util.HashMap from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/HashMap.class [INFO] loading class java.util.HashMap$Entry from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/HashMap$Entry.class [INFO] loading class org.junit.runners.Suite from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runners/Suite.class [INFO] loading class org.junit.runners.ParentRunner from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runners/ParentRunner.class [INFO] loading class org.junit.runner.Runner from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runner/Runner.class [INFO] loading class org.junit.runner.Describable from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runner/Describable.class [INFO] loading class org.junit.runner.manipulation.Filterable from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runner/manipulation/Filterable.class [INFO] loading class org.junit.runner.manipulation.Sortable from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runner/manipulation/Sortable.class [INFO] loading class org.junit.runner.Computer$1 from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runner/Computer$1.class [INFO] loading class org.junit.internal.builders.IgnoredBuilder from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/internal/builders/IgnoredBuilder.class [INFO] loading class org.junit.internal.builders.AnnotatedBuilder from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/internal/builders/AnnotatedBuilder.class [INFO] loading class org.junit.internal.builders.SuiteMethodBuilder from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/internal/builders/SuiteMethodBuilder.class [INFO] loading class org.junit.internal.builders.JUnit3Builder from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/internal/builders/JUnit3Builder.class [INFO] loading class org.junit.internal.builders.JUnit4Builder from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/internal/builders/JUnit4Builder.class [INFO] loading class java.util.Arrays from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/Arrays.class [INFO] loading class java.util.Arrays$ArrayList from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/Arrays$ArrayList.class [INFO] loading class java.util.AbstractList$Itr from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/AbstractList$Itr.class [INFO] loading class java.util.Iterator from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/Iterator.class [INFO] loading class org.junit.Ignore from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/Ignore.class [INFO] loading class java.lang.annotation.Annotation from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/annotation/Annotation.class [INFO] loading class org.junit.runner.RunWith from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runner/RunWith.class [INFO] loading class gov.nasa.jpf.AnnotationProxyBase from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/gov/nasa/jpf/AnnotationProxyBase.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_gov_nasa_jpf_AnnotationProxyBase [INFO] load peer: gov.nasa.jpf.vm.JPF_gov_nasa_jpf_AnnotationProxyBase [INFO] load MJI method: annotationType()Ljava/lang/Class; [INFO] load MJI method: toString()Ljava/lang/String; [INFO] loading class org.robolectric.RobolectricTestRunner from jar:file:/vagrant/AnalysisEngine/lib/robolectric-2.4.jar!/org/robolectric/RobolectricTestRunner.class [INFO] loading class org.junit.runners.BlockJUnit4ClassRunner from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runners/BlockJUnit4ClassRunner.class [INFO] loading class java.security.SecureRandom from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/security/SecureRandom.class [INFO] loading class java.util.Random from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/java/util/Random.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_java_util_Random [INFO] load peer: gov.nasa.jpf.vm.JPF_java_util_Random [INFO] load MJI method: nextBytes([B)V [INFO] load MJI method: nextLong()J [INFO] load MJI method: nextFloat()F [INFO] load MJI method: nextDouble()D [INFO] load MJI method: nextGaussian()D [INFO] load MJI method: nextBoolean()Z [INFO] load MJI method: (J)V [INFO] load MJI method: setSeed(J)V [INFO] load MJI method: ()V [INFO] load MJI method: nextInt()I [INFO] load MJI method: next(I)I [INFO] load MJI method: nextInt(I)I [INFO] loading class sun.security.jca.Providers from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/security/jca/Providers.class [INFO] loading class java.lang.InheritableThreadLocal from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/java/lang/InheritableThreadLocal.class [INFO] loading class java.lang.ThreadLocal from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/java/lang/ThreadLocal.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_java_lang_ThreadLocal [INFO] load peer: gov.nasa.jpf.vm.JPF_java_lang_ThreadLocal [INFO] load MJI method: getEntry()Ljava/lang/ThreadLocal$Entry; [INFO] load MJI method: addEntry(Ljava/lang/ThreadLocal$Entry;)V [INFO] load MJI method: removeEntry(Ljava/lang/ThreadLocal$Entry;)V [INFO] loading class sun.security.jca.ProviderList from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/security/jca/ProviderList.class [INFO] loading class sun.security.util.Debug from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/security/util/Debug.class [INFO] loading class sun.security.action.GetPropertyAction from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/security/action/GetPropertyAction.class [INFO] loading class java.security.PrivilegedAction from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/security/PrivilegedAction.class [INFO] loading class java.security.AccessController from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/java/security/AccessController.class [INFO] loading class sun.security.jca.ProviderConfig from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/security/jca/ProviderConfig.class [INFO] loading class java.security.Provider from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/security/Provider.class [INFO] loading class sun.security.jca.ProviderList$3 from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/security/jca/ProviderList$3.class [INFO] loading class sun.security.jca.ProviderList$1 from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/security/jca/ProviderList$1.class [INFO] loading class java.security.Provider$ServiceKey from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/security/Provider$ServiceKey.class [INFO] loading class java.util.Locale from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/Locale.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_java_util_Locale [INFO] load peer: gov.nasa.jpf.vm.JPF_java_util_Locale [INFO] load MJI method: getDisplayName(Ljava/util/Locale;)Ljava/lang/String; [INFO] load MJI method: getDisplayCountry(Ljava/util/Locale;)Ljava/lang/String; [INFO] load MJI method: getDisplayLanguage(Ljava/util/Locale;)Ljava/lang/String; [INFO] load MJI method: getISO3Country()Ljava/lang/String; [INFO] load MJI method: getISO3Language()Ljava/lang/String; [INFO] load MJI method: getISOCountries()[Ljava/lang/String; [INFO] load MJI method: getISOLanguages()[Ljava/lang/String; [INFO] load MJI method: getDisplayVariant(Ljava/util/Locale;)Ljava/lang/String; [INFO] loading class java.util.Locale$Cache from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/Locale$Cache.class [INFO] loading class sun.util.locale.LocaleObjectCache from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/util/locale/LocaleObjectCache.class [INFO] loading class java.lang.ref.ReferenceQueue from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/java/lang/ref/ReferenceQueue.class [INFO] loading class java.util.concurrent.ConcurrentHashMap from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/concurrent/ConcurrentHashMap.class [INFO] loading class java.util.concurrent.ConcurrentMap from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/concurrent/ConcurrentMap.class [INFO] loading class java.lang.reflect.Field from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/java/lang/reflect/Field.class [INFO] loading class java.lang.reflect.AccessibleObject from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/java/lang/reflect/AccessibleObject.class [INFO] loading class java.lang.reflect.Member from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/reflect/Member.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_java_lang_reflect_Field [INFO] load peer: gov.nasa.jpf.vm.JPF_java_lang_reflect_Field [INFO] load MJI method: getType()Ljava/lang/Class; [INFO] load MJI method: getBoolean(Ljava/lang/Object;)Z [INFO] load MJI method: getByte(Ljava/lang/Object;)B [INFO] load MJI method: getChar(Ljava/lang/Object;)C [INFO] load MJI method: getShort(Ljava/lang/Object;)S [INFO] load MJI method: getInt(Ljava/lang/Object;)I [INFO] load MJI method: getLong(Ljava/lang/Object;)J [INFO] load MJI method: getFloat(Ljava/lang/Object;)F [INFO] load MJI method: getDouble(Ljava/lang/Object;)D [INFO] load MJI method: setBoolean(Ljava/lang/Object;Z)V [INFO] load MJI method: setByte(Ljava/lang/Object;B)V [INFO] load MJI method: setChar(Ljava/lang/Object;C)V [INFO] load MJI method: setShort(Ljava/lang/Object;S)V [INFO] load MJI method: setInt(Ljava/lang/Object;I)V [INFO] load MJI method: setLong(Ljava/lang/Object;J)V [INFO] load MJI method: setFloat(Ljava/lang/Object;F)V [INFO] load MJI method: setDouble(Ljava/lang/Object;D)V [INFO] load MJI method: get(Ljava/lang/Object;)Ljava/lang/Object; [INFO] load MJI method: isSynthetic()Z [INFO] load MJI method: set(Ljava/lang/Object;Ljava/lang/Object;)V [INFO] load MJI method: hashCode()I [INFO] load MJI method: toString()Ljava/lang/String; [INFO] load MJI method: getModifiers()I [INFO] load MJI method: getAnnotations()[Ljava/lang/annotation/Annotation; [INFO] load MJI method: getAnnotation(Ljava/lang/Class;)Ljava/lang/annotation/Annotation; [INFO] load MJI method: getDeclaredAnnotations()[Ljava/lang/annotation/Annotation; [INFO] load MJI method: getDeclaringClass()Ljava/lang/Class; [INFO] load MJI method: getName()Ljava/lang/String; [INFO] load MJI method: equals(Ljava/lang/Object;)Z [INFO] loading class java.util.concurrent.ConcurrentHashMap$Segment from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/concurrent/ConcurrentHashMap$Segment.class [INFO] loading class java.util.concurrent.locks.ReentrantLock from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/concurrent/locks/ReentrantLock.class [INFO] loading class java.util.concurrent.locks.Lock from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/concurrent/locks/Lock.class [INFO] loading class java.lang.Runtime from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/Runtime.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_java_lang_Runtime [INFO] load peer: gov.nasa.jpf.vm.JPF_java_lang_Runtime [INFO] load MJI method: gc()V [INFO] load MJI method: totalMemory()J [INFO] load MJI method: addShutdownHook(Ljava/lang/Thread;)V [INFO] load MJI method: maxMemory()J [INFO] load MJI method: freeMemory()J [INFO] load MJI method: availableProcessors()I [INFO] loading class java.util.concurrent.ConcurrentHashMap$HashEntry from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/concurrent/ConcurrentHashMap$HashEntry.class [INFO] loading class java.util.concurrent.locks.ReentrantLock$NonfairSync from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/concurrent/locks/ReentrantLock$NonfairSync.class [INFO] loading class java.util.concurrent.locks.ReentrantLock$Sync from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/concurrent/locks/ReentrantLock$Sync.class [INFO] loading class java.util.concurrent.locks.AbstractQueuedSynchronizer from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/concurrent/locks/AbstractQueuedSynchronizer.class [INFO] loading class java.util.concurrent.locks.AbstractOwnableSynchronizer from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/concurrent/locks/AbstractOwnableSynchronizer.class [INFO] loading class java.util.concurrent.locks.AbstractQueuedSynchronizer$Node from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/concurrent/locks/AbstractQueuedSynchronizer$Node.class [INFO] loading class sun.util.locale.BaseLocale from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/util/locale/BaseLocale.class [INFO] loading class sun.util.locale.BaseLocale$Cache from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/util/locale/BaseLocale$Cache.class [INFO] loading class sun.util.locale.BaseLocale$Key from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/util/locale/BaseLocale$Key.class [INFO] loading class java.lang.ref.SoftReference from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/ref/SoftReference.class [INFO] loading class sun.util.locale.LocaleObjectCache$CacheEntry from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/util/locale/LocaleObjectCache$CacheEntry.class [INFO] loading class java.util.Locale$LocaleKey from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/Locale$LocaleKey.class [INFO] loading class sun.util.locale.LocaleUtils from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/util/locale/LocaleUtils.class [INFO] loading class java.lang.StringBuilder from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/StringBuilder.class [INFO] loading class java.lang.AbstractStringBuilder from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/AbstractStringBuilder.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_java_lang_StringBuilder [INFO] load peer: gov.nasa.jpf.vm.JPF_java_lang_StringBuilder [INFO] load MJI method: append(I)Ljava/lang/StringBuilder; [INFO] load MJI method: (Ljava/lang/String;)V [INFO] load MJI method: append(Ljava/lang/String;)Ljava/lang/StringBuilder; [INFO] load MJI method: append(F)Ljava/lang/StringBuilder; [INFO] load MJI method: append(D)Ljava/lang/StringBuilder; [INFO] load MJI method: append(J)Ljava/lang/StringBuilder; [INFO] load MJI method: append(Z)Ljava/lang/StringBuilder; [INFO] load MJI method: append(C)Ljava/lang/StringBuilder; [INFO] load MJI method: toString()Ljava/lang/String; [INFO] load MJI method: ()V [INFO] load MJI method: (I)V [INFO] loading class java.security.Provider$EngineDescription from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/security/Provider$EngineDescription.class [INFO] loading class sun.security.jca.ProviderList$2 from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/security/jca/ProviderList$2.class [INFO] loading class java.security.Security from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/security/Security.class [INFO] loading class java.security.Security$1 from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/security/Security$1.class [INFO] loading class java.io.File from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/java/io/File.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_java_io_File [INFO] load peer: gov.nasa.jpf.vm.JPF_java_io_File [INFO] load MJI method: getURLSpec()Ljava/lang/String; [INFO] load MJI method: getCanonicalPath()Ljava/lang/String; [INFO] load MJI method: getCanonicalFile()Ljava/io/File; [INFO] load MJI method: getParentFile()Ljava/io/File; [INFO] load MJI method: isFile()Z [INFO] load MJI method: listRoots()[Ljava/io/File; [INFO] load MJI method: list()[Ljava/lang/String; [INFO] load MJI method: getURISpec()Ljava/lang/String; [INFO] load MJI method: isAbsolute()Z [INFO] load MJI method: canRead()Z [INFO] load MJI method: length()J [INFO] load MJI method: createNewFile()Z [INFO] load MJI method: delete()Z [INFO] load MJI method: canWrite()Z [INFO] load MJI method: getAbsolutePath()Ljava/lang/String; [INFO] load MJI method: isDirectory()Z [INFO] load MJI method: exists()Z [INFO] load MJI method: getAbsoluteFile()Ljava/io/File; [INFO] loading class java.io.FileInputStream from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/java/io/FileInputStream.class [INFO] loading class java.io.FileDescriptor from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/java/io/FileDescriptor.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_java_io_FileDescriptor [INFO] load peer: gov.nasa.jpf.vm.JPF_java_io_FileDescriptor [INFO] load MJI method: close0 [INFO] load MJI method: sync()V [INFO] load MJI method: available()I [INFO] load MJI method: write([BII)V [INFO] load MJI method: read()I [INFO] load MJI method: write(I)V [INFO] load MJI method: read([BII)I [INFO] load MJI method: skip(J)J [INFO] load MJI method: open(Ljava/lang/String;I)I [INFO] loading class java.io.BufferedInputStream from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/io/BufferedInputStream.class [INFO] loading class java.io.FilterInputStream from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/io/FilterInputStream.class [INFO] loading class java.util.concurrent.atomic.AtomicReferenceFieldUpdater from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/java/util/concurrent/atomic/AtomicReferenceFieldUpdater.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_java_util_concurrent_atomic_AtomicReferenceFieldUpdater [INFO] load peer: gov.nasa.jpf.vm.JPF_java_util_concurrent_atomic_AtomicReferenceFieldUpdater [INFO] load MJI method: weakCompareAndSet(Ljava/lang/Object;Ljava/lang/Object;Ljava/lang/Object;)Z [INFO] load MJI method: lazySet(Ljava/lang/Object;Ljava/lang/Object;)V [INFO] load MJI method: compareAndSet(Ljava/lang/Object;Ljava/lang/Object;Ljava/lang/Object;)Z [INFO] load MJI method: (Ljava/lang/Class;Ljava/lang/Class;Ljava/lang/String;)V [INFO] load MJI method: getAndSet(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object; [INFO] load MJI method: get(Ljava/lang/Object;)Ljava/lang/Object; [INFO] load MJI method: set(Ljava/lang/Object;Ljava/lang/Object;)V [INFO] loading class java.util.Properties$LineReader from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/Properties$LineReader.class [INFO] loading class java.lang.reflect.Array from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/reflect/Array.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_java_lang_reflect_Array [INFO] load peer: gov.nasa.jpf.vm.JPF_java_lang_reflect_Array [INFO] load MJI method: getDouble(Ljava/lang/Object;I)D [INFO] load MJI method: setBoolean(Ljava/lang/Object;IZ)V [INFO] load MJI method: setByte(Ljava/lang/Object;IB)V [INFO] load MJI method: setFloat(Ljava/lang/Object;IF)V [INFO] load MJI method: setDouble(Ljava/lang/Object;ID)V [INFO] load MJI method: get(Ljava/lang/Object;I)Ljava/lang/Object; [INFO] load MJI method: getBoolean(Ljava/lang/Object;I)Z [INFO] load MJI method: getByte(Ljava/lang/Object;I)B [INFO] load MJI method: getChar(Ljava/lang/Object;I)C [INFO] load MJI method: setChar(Ljava/lang/Object;IC)V [INFO] load MJI method: setShort(Ljava/lang/Object;IS)V [INFO] load MJI method: setInt(Ljava/lang/Object;II)V [INFO] load MJI method: setLong(Ljava/lang/Object;IJ)V [INFO] load MJI method: getLength(Ljava/lang/Object;)I [INFO] load MJI method: newArray(Ljava/lang/Class;I)Ljava/lang/Object; [INFO] load MJI method: multiNewArray(Ljava/lang/Class;[I)Ljava/lang/Object; [INFO] load MJI method: getShort(Ljava/lang/Object;I)S [INFO] load MJI method: getInt(Ljava/lang/Object;I)I [INFO] load MJI method: getLong(Ljava/lang/Object;I)J [INFO] load MJI method: getFloat(Ljava/lang/Object;I)F [INFO] loading class sun.security.jca.ProviderConfig$2 from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/security/jca/ProviderConfig$2.class [INFO] loading class sun.security.provider.Sun from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/jsse.jar!/sun/security/provider/Sun.class [INFO] loading class sun.security.provider.SunEntries from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/security/provider/SunEntries.class [INFO] loading class sun.security.provider.SunEntries$1 from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/security/provider/SunEntries$1.class [INFO] loading class sun.security.provider.NativePRNG from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/security/provider/NativePRNG.class [INFO] loading class java.security.SecureRandomSpi from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/security/SecureRandomSpi.class [INFO] loading class sun.security.provider.NativePRNG$1 from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/security/provider/NativePRNG$1.class [INFO] loading class sun.security.provider.NativePRNG$RandomIO from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/security/provider/NativePRNG$RandomIO.class [INFO] loading class java.util.LinkedHashMap from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/LinkedHashMap.class [INFO] loading class java.util.LinkedHashMap$Entry from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/LinkedHashMap$Entry.class [INFO] loading class java.util.HashMap$EntrySet from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/HashMap$EntrySet.class [INFO] loading class java.util.LinkedHashMap$EntryIterator from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/LinkedHashMap$EntryIterator.class [INFO] loading class java.util.LinkedHashMap$LinkedHashIterator from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/LinkedHashMap$LinkedHashIterator.class [INFO] loading class java.security.Provider$Service from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/security/Provider$Service.class [INFO] loading class java.security.Provider$UString from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/security/Provider$UString.class [INFO] loading class java.util.LinkedHashSet from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/LinkedHashSet.class [INFO] loading class java.util.HashMap$Values from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/HashMap$Values.class [INFO] loading class java.util.LinkedHashMap$ValueIterator from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/LinkedHashMap$ValueIterator.class [INFO] loading class java.util.Collections$UnmodifiableSet from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/Collections$UnmodifiableSet.class [INFO] loading class java.util.Collections$UnmodifiableCollection from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/Collections$UnmodifiableCollection.class [INFO] loading class java.util.Collections$UnmodifiableCollection$1 from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/Collections$UnmodifiableCollection$1.class [INFO] loading class java.util.HashMap$KeySet from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/HashMap$KeySet.class [INFO] loading class java.util.LinkedHashMap$KeyIterator from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/LinkedHashMap$KeyIterator.class [INFO] loading class sun.security.jca.GetInstance from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/security/jca/GetInstance.class [INFO] loading class java.lang.reflect.Modifier from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/reflect/Modifier.class [INFO] loading class sun.reflect.ReflectionFactory$GetReflectionFactoryAction from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/reflect/ReflectionFactory$GetReflectionFactoryAction.class [INFO] loading class sun.reflect.ReflectionFactory from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/reflect/ReflectionFactory.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_sun_reflect_ReflectionFactory [INFO] load peer: gov.nasa.jpf.vm.JPF_sun_reflect_ReflectionFactory [INFO] load MJI method: newConstructorForSerialization(Ljava/lang/Class;Ljava/lang/reflect/Constructor;)Ljava/lang/reflect/Constructor; [INFO] loading class java.lang.RuntimePermission from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/RuntimePermission.class [INFO] loading class java.security.BasicPermission from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/security/BasicPermission.class [INFO] loading class java.security.Permission from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/security/Permission.class [INFO] loading class java.security.Guard from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/security/Guard.class [INFO] loading class java.lang.reflect.ReflectAccess from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/reflect/ReflectAccess.class [INFO] loading class sun.reflect.LangReflectAccess from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/reflect/LangReflectAccess.class [INFO] loading class java.lang.reflect.Constructor from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/java/lang/reflect/Constructor.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_java_lang_reflect_Constructor [INFO] load peer: gov.nasa.jpf.vm.JPF_java_lang_reflect_Constructor [INFO] load MJI method: hashCode()I [INFO] load MJI method: toString()Ljava/lang/String; [INFO] load MJI method: getModifiers()I [INFO] load MJI method: getAnnotations()[Ljava/lang/annotation/Annotation; [INFO] load MJI method: getAnnotation(Ljava/lang/Class;)Ljava/lang/annotation/Annotation; [INFO] load MJI method: getDeclaredAnnotations()[Ljava/lang/annotation/Annotation; [INFO] load MJI method: getDeclaringClass()Ljava/lang/Class; [INFO] load MJI method: getName()Ljava/lang/String; [INFO] load MJI method: getParameterTypes()[Ljava/lang/Class; [INFO] load MJI method: getParameterAnnotations()[[Ljava/lang/annotation/Annotation; [INFO] load MJI method: equals(Ljava/lang/Object;)Z [INFO] load MJI method: newInstance([Ljava/lang/Object;)Ljava/lang/Object; [INFO] loading class sun.security.jca.GetInstance$Instance from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/security/jca/GetInstance$Instance.class [INFO] loading class org.junit.runner.manipulation.Sorter from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runner/manipulation/Sorter.class [INFO] loading class org.junit.runner.manipulation.Sorter$1 from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runner/manipulation/Sorter$1.class [INFO] loading class org.junit.runners.ParentRunner$1 from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runners/ParentRunner$1.class [INFO] loading class org.junit.runners.model.RunnerScheduler from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runners/model/RunnerScheduler.class [INFO] loading class org.junit.runners.model.TestClass from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runners/model/TestClass.class [INFO] loading class java.util.ArrayList$Itr from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/ArrayList$Itr.class [INFO] loading class org.junit.internal.MethodSorter from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/internal/MethodSorter.class [INFO] loading class org.junit.internal.MethodSorter$1 from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/internal/MethodSorter$1.class [INFO] loading class org.junit.internal.MethodSorter$2 from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/internal/MethodSorter$2.class [INFO] loading class org.junit.FixMethodOrder from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/FixMethodOrder.class [INFO] loading class java.lang.reflect.Method from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/java/lang/reflect/Method.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_java_lang_reflect_Method [INFO] load peer: gov.nasa.jpf.vm.JPF_java_lang_reflect_Method [INFO] load MJI method: hashCode()I [INFO] load MJI method: toString()Ljava/lang/String; [INFO] load MJI method: getModifiers()I [INFO] load MJI method: getAnnotations()[Ljava/lang/annotation/Annotation; [INFO] load MJI method: getAnnotation(Ljava/lang/Class;)Ljava/lang/annotation/Annotation; [INFO] load MJI method: getDeclaredAnnotations()[Ljava/lang/annotation/Annotation; [INFO] load MJI method: getDeclaringClass()Ljava/lang/Class; [INFO] load MJI method: getName()Ljava/lang/String; [INFO] load MJI method: getParameterTypes()[Ljava/lang/Class; [INFO] load MJI method: getExceptionTypes()[Ljava/lang/Class; [INFO] load MJI method: getReturnType()Ljava/lang/Class; [INFO] load MJI method: invoke(Ljava/lang/Object;[Ljava/lang/Object;)Ljava/lang/Object; [INFO] load MJI method: getParameterAnnotations()[[Ljava/lang/annotation/Annotation; [INFO] load MJI method: equals(Ljava/lang/Object;)Z [INFO] loading class java.util.Arrays$LegacyMergeSort from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/Arrays$LegacyMergeSort.class [INFO] loading class sun.security.action.GetBooleanAction from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/security/action/GetBooleanAction.class [INFO] loading class java.util.TimSort from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/TimSort.class [INFO] loading class org.junit.runners.model.FrameworkMethod from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runners/model/FrameworkMethod.class [INFO] loading class org.junit.runners.model.FrameworkMember from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runners/model/FrameworkMember.class [INFO] loading class org.junit.Test from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/Test.class [INFO] loading class org.junit.Test$None from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/Test$None.class [INFO] loading class java.lang.Throwable from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/java/lang/Throwable.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_java_lang_Throwable [INFO] load peer: gov.nasa.jpf.vm.JPF_java_lang_Throwable [INFO] load MJI method: printStackTrace()V [INFO] load MJI method: toString()Ljava/lang/String; [INFO] load MJI method: getStackTraceAsString()Ljava/lang/String; [INFO] load MJI method: createStackTrace()[Ljava/lang/StackTraceElement; [INFO] load MJI method: fillInStackTrace()Ljava/lang/Throwable; [INFO] loading class org.junit.Before from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/Before.class [INFO] loading class org.junit.BeforeClass from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/BeforeClass.class [INFO] loading class org.junit.runners.model.FrameworkField from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runners/model/FrameworkField.class [INFO] loading class org.junit.AfterClass from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/AfterClass.class [INFO] loading class org.junit.internal.runners.rules.RuleFieldValidator from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/internal/runners/rules/RuleFieldValidator.class [INFO] loading class org.junit.ClassRule from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/ClassRule.class [INFO] loading class org.junit.Rule from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/Rule.class [INFO] loading class org.junit.Assert from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/Assert.class [INFO] loading class org.junit.After from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/After.class [INFO] loading class java.lang.Void from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/Void.class [INFO] loading class org.robolectric.EnvHolder from jar:file:/vagrant/AnalysisEngine/lib/robolectric-2.4.jar!/org/robolectric/EnvHolder.class [INFO] loading class org.junit.runner.Request$1 from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runner/Request$1.class [INFO] loading class org.junit.runner.Result from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runner/Result.class [INFO] loading class java.util.concurrent.atomic.AtomicInteger from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/concurrent/atomic/AtomicInteger.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_java_util_concurrent_atomic_AtomicInteger [INFO] load peer: gov.nasa.jpf.vm.JPF_java_util_concurrent_atomic_AtomicInteger [INFO] load MJI method: getAndDecrement()I [INFO] load MJI method: getAndSet(I)I [INFO] load MJI method: weakCompareAndSet(II)Z [INFO] load MJI method: incrementAndGet()I [INFO] load MJI method: decrementAndGet()I [INFO] load MJI method: addAndGet(I)I [INFO] load MJI method: [INFO] load MJI method: compareAndSet(II)Z [INFO] load MJI method: getAndAdd(I)I [INFO] load MJI method: getAndIncrement()I [INFO] load MJI method: lazySet(I)V [INFO] loading class org.junit.runner.Result$Listener from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runner/Result$Listener.class [INFO] loading class org.junit.runner.notification.RunListener from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runner/notification/RunListener.class [INFO] loading class org.junit.runner.Description from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runner/Description.class [INFO] loading class java.util.regex.Pattern from jar:file:/vagrant/AnalysisEngine/jpf/jpf-core/build/jpf-classes.jar!/java/util/regex/Pattern.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_java_util_regex_Pattern [INFO] load peer: gov.nasa.jpf.vm.JPF_java_util_regex_Pattern [INFO] load MJI method: split0(Ljava/lang/String;I)[Ljava/lang/String; [INFO] loading class org.robolectric.annotation.Config from jar:file:/vagrant/AnalysisEngine/lib/robolectric-annotations-2.4.jar!/org/robolectric/annotation/Config.class [INFO] loading class android.app.Application from jar:file:/vagrant/AnalysisEngine/lib/android-4.1.1.4.jar!/android/app/Application.class [INFO] loading class android.content.ContextWrapper from jar:file:/vagrant/AnalysisEngine/lib/android-4.1.1.4.jar!/android/content/ContextWrapper.class [INFO] loading class android.content.Context from jar:file:/vagrant/AnalysisEngine/lib/android-4.1.1.4.jar!/android/content/Context.class [INFO] loading class android.content.ComponentCallbacks2 from jar:file:/vagrant/AnalysisEngine/lib/android-4.1.1.4.jar!/android/content/ComponentCallbacks2.class [INFO] loading class android.content.ComponentCallbacks from jar:file:/vagrant/AnalysisEngine/lib/android-4.1.1.4.jar!/android/content/ComponentCallbacks.class [INFO] loading class org.junit.runner.notification.RunNotifier$1 from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runner/notification/RunNotifier$1.class [INFO] loading class org.junit.runner.notification.RunNotifier$SafeNotifier from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runner/notification/RunNotifier$SafeNotifier.class [INFO] loading class org.junit.internal.runners.model.EachTestNotifier from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/internal/runners/model/EachTestNotifier.class [INFO] loading class org.junit.runners.ParentRunner$2 from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runners/ParentRunner$2.class [INFO] loading class org.junit.runners.model.Statement from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runners/model/Statement.class [INFO] loading class org.junit.rules.TestRule from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/rules/TestRule.class [INFO] loading class org.junit.runners.ParentRunner$3 from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runners/ParentRunner$3.class [INFO] loading class org.robolectric.RobolectricTestRunner$1 from jar:file:/vagrant/AnalysisEngine/lib/robolectric-2.4.jar!/org/robolectric/RobolectricTestRunner$1.class [INFO] loading class org.robolectric.RobolectricTestRunner$2 from jar:file:/vagrant/AnalysisEngine/lib/robolectric-2.4.jar!/org/robolectric/RobolectricTestRunner$2.class [INFO] loading class org.junit.runner.notification.RunNotifier$3 from jar:file:/vagrant/AnalysisEngine/lib/junit-4.11.jar!/org/junit/runner/notification/RunNotifier$3.class [INFO] loading class org.robolectric.util.AnnotationUtil from jar:file:/vagrant/AnalysisEngine/lib/robolectric-2.4.jar!/org/robolectric/util/AnnotationUtil.class [INFO] loading class org.robolectric.util.AnnotationUtil$1 from jar:file:/vagrant/AnalysisEngine/lib/robolectric-2.4.jar!/org/robolectric/util/AnnotationUtil$1.class [INFO] loading class java.lang.reflect.InvocationHandler from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/reflect/InvocationHandler.class [INFO] loading class java.lang.reflect.Proxy from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/reflect/Proxy.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_java_lang_reflect_Proxy [INFO] load peer: gov.nasa.jpf.vm.JPF_java_lang_reflect_Proxy [INFO] load MJI method: defineClass0 [INFO] loading class java.lang.reflect.WeakCache from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/reflect/WeakCache.class [INFO] loading class java.lang.reflect.Proxy$KeyFactory from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/reflect/Proxy$KeyFactory.class [INFO] loading class java.lang.reflect.WeakCache$BiFunction from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/reflect/WeakCache$BiFunction.class [INFO] loading class java.lang.reflect.Proxy$ProxyClassFactory from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/reflect/Proxy$ProxyClassFactory.class [INFO] loading class java.util.concurrent.atomic.AtomicLong from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/concurrent/atomic/AtomicLong.class [INFO] loaded peer class: gov.nasa.jpf.vm.JPF_java_util_concurrent_atomic_AtomicLong [INFO] load peer: gov.nasa.jpf.vm.JPF_java_util_concurrent_atomic_AtomicLong [INFO] load MJI method: getAndIncrement()J [INFO] load MJI method: getAndDecrement()J [INFO] load MJI method: compareAndSet(JJ)Z [INFO] load MJI method: getAndAdd(J)J [INFO] load MJI method: incrementAndGet()J [INFO] load MJI method: decrementAndGet()J [INFO] load MJI method: addAndGet(J)J [INFO] load MJI method: [INFO] loading class java.util.Objects from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/Objects.class [INFO] loading class java.lang.reflect.WeakCache$CacheKey from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/reflect/WeakCache$CacheKey.class [INFO] loading class java.lang.reflect.Proxy$Key1 from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/reflect/Proxy$Key1.class [INFO] loading class java.lang.reflect.WeakCache$Factory from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/reflect/WeakCache$Factory.class [INFO] loading class java.lang.reflect.WeakCache$Supplier from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/reflect/WeakCache$Supplier.class [INFO] loading class java.util.IdentityHashMap from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/IdentityHashMap.class [INFO] loading class sun.misc.ProxyGenerator from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/misc/ProxyGenerator.class [INFO] loading class sun.misc.ProxyGenerator$ConstantPool from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/misc/ProxyGenerator$ConstantPool.class [INFO] loading class sun.misc.ProxyGenerator$ProxyMethod from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/misc/ProxyGenerator$ProxyMethod.class [INFO] loading class java.lang.InterruptedException from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/InterruptedException.class [INFO] loading class java.lang.Exception from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/Exception.class [INFO] loading class sun.misc.ProxyGenerator$PrimitiveTypeInfo from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/misc/ProxyGenerator$PrimitiveTypeInfo.class [INFO] loading class java.util.HashMap$ValueIterator from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/HashMap$ValueIterator.class [INFO] loading class java.util.HashMap$HashIterator from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/util/HashMap$HashIterator.class [INFO] loading class sun.misc.ProxyGenerator$MethodInfo from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/misc/ProxyGenerator$MethodInfo.class [INFO] loading class java.io.ByteArrayOutputStream from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/io/ByteArrayOutputStream.class [INFO] loading class sun.misc.ProxyGenerator$ConstantPool$ValueEntry from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/misc/ProxyGenerator$ConstantPool$ValueEntry.class [INFO] loading class sun.misc.ProxyGenerator$ConstantPool$Entry from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/misc/ProxyGenerator$ConstantPool$Entry.class [INFO] loading class java.io.DataOutputStream from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/io/DataOutputStream.class [INFO] loading class java.io.DataOutput from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/io/DataOutput.class [INFO] loading class sun.misc.ProxyGenerator$ConstantPool$IndirectEntry from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/misc/ProxyGenerator$ConstantPool$IndirectEntry.class [INFO] loading class sun.misc.ProxyGenerator$FieldInfo from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/misc/ProxyGenerator$FieldInfo.class [INFO] loading class java.lang.Error from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/Error.class [INFO] loading class java.lang.RuntimeException from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/RuntimeException.class [INFO] loading class sun.misc.ProxyGenerator$ExceptionTableEntry from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/sun/misc/ProxyGenerator$ExceptionTableEntry.class [INFO] loading class java.lang.reflect.WeakCache$CacheValue from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/reflect/WeakCache$CacheValue.class [INFO] loading class java.lang.reflect.WeakCache$Value from jar:file:/usr/lib/jvm/java-1.7.0-openjdk-1.7.0.71/jre/lib/rt.jar!/java/lang/reflect/WeakCache$Value.class