javac (version info not available)
[parsing started SimpleFileObject[/tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/Caller.java]]
[parsing completed 5ms]
[search path for source files: /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar,.]
[search path for class files: /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar,/tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/javac.jar,/usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/resources.jar,/usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar,/usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/sunrsasign.jar,/usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/jsse.jar,/usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/jce.jar,/usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/charsets.jar,/usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/jfr.jar,/usr/local/buildtools/java/jdk8-google-v7-64/jre/classes,/usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/ext/nashorn.jar,/usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/ext/sunpkcs11.jar,/usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/ext/jaccess.jar,/usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/ext/localedata.jar,/usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/ext/sunjce_provider.jar,/usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/ext/dnsns.jar,/usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/ext/cldrdata.jar,/usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/ext/sunec.jar,/usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/ext/zipfs.jar,/tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar,.]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/util/concurrent/ConcurrentHashMap.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/checker/nullness/qual/Nullable.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Object.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/SuppressWarnings.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/checker/nullness/qual/EnsuresKeyForIf.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/checker/nullness/qual/EnsuresKeyFor.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/checker/nullness/qual/KeyFor.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/framework/qual/SubtypeOf.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/framework/qual/QualifierForLiterals.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/framework/qual/LiteralKind.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/framework/qual/DefaultFor.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/framework/qual/DefaultInUncheckedCodeFor.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/framework/qual/TypeUseLocation.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/annotation/Retention.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/annotation/RetentionPolicy.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/annotation/Target.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/annotation/ElementType.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/framework/qual/ConditionalPostconditionAnnotation.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/framework/qual/QualifierArgument.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/framework/qual/PostconditionAnnotation.class)]
Round 1:
	input files: {Caller}
	annotations: []
	last round: false
Processor org.checkerframework.checker.nullness.NullnessChecker matches [] and returns false.
Round 2:
	input files: {}
	annotations: []
	last round: true
[checking Caller]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/io/Serializable.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/AutoCloseable.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/String.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/checker/index/qual/LTLengthOf.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/checker/index/qual/LTEqLengthOf.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/checker/index/qual/IndexOrHigh.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/checker/index/qual/LengthOf.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/common/value/qual/EnsuresMinLenIf.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/checker/index/qual/IndexFor.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/checker/nullness/qual/EnsuresNonNullIf.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/checker/index/qual/IndexOrLow.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/checker/index/qual/SubstringIndexFor.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/checker/index/qual/SameLen.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/annotation/Annotation.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/checker/nullness/qual/UnknownKeyFor.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/checker/nullness/qual/KeyForBottom.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/framework/qual/TargetLocations.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/util/Map.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/framework/qual/Covariant.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/util/Map$Entry.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/checker/nullness/qual/PolyKeyFor.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/framework/qual/PolymorphicQualifier.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/dataflow/qual/Pure.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/dataflow/qual/SideEffectFree.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/dataflow/qual/Deterministic.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/dataflow/qual/TerminatesExecution.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/framework/qual/FromStubFile.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/CharSequence.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/CharSequence$1CharIterator.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/CharSequence$1CodePointIterator.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/CharacterData00.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/CharacterData01.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/CharacterData02.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/CharacterData0E.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/CharacterDataPrivateUse.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/CharacterDataUndefined.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/CharacterName.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/CharacterName$1.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Class.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/Class$2.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/ClassLoader.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ClassLoader$1.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/checker/nullness/qual/RequiresNonNull.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/checker/nullness/qual/EnsuresNonNull.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/framework/qual/PreconditionAnnotation.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ClassLoader$4.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ClassLoaderHelper.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ConditionalSpecialCasing.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ConditionalSpecialCasing$Entry.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/FunctionalInterface.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Math.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/Math$RandomNumberGeneratorHolder.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Package.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/Package$1.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/Package$1PackageInfoProxy.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/ProcessBuilder.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ProcessBuilder$1.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ProcessBuilder$Redirect.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ProcessBuilder$Redirect$1.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ProcessBuilder$Redirect$2.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ProcessBuilder$Redirect$3.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ProcessBuilder$Redirect$4.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ProcessBuilder$Redirect$5.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ProcessEnvironment.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ProcessEnvironment$StringEntry.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ProcessEnvironment$StringEntrySet.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ProcessEnvironment$StringEntrySet$1.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ProcessEnvironment$StringEntrySet$2.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ProcessEnvironment$StringKeySet.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ProcessEnvironment$StringKeySet$1.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ProcessEnvironment$StringValues.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ProcessEnvironment$StringValues$1.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/SafeVarargs.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/SecurityManager.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/SecurityManager$1.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/SecurityManager$2.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Shutdown.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/Shutdown$1.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/StrictMath.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/StrictMath$RandomNumberGeneratorHolder.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/String$1.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/StringCoding.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/StringCoding$1.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/System.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/System$1.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Thread.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/Thread$1.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/sun/misc/Contended.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/checker/initialization/qual/UnknownInitialization.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/checker/lock/qual/EnsuresLockHeldIf.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/Thread$WeakClassKey.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/ThreadLocal.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ThreadLocal$1.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Throwable.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/Throwable$1.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/UNIXProcess.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/UNIXProcess$DeferredCloseInputStream.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/UNIXProcess$ProcessPipeInputStream.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/UNIXProcess$1.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ProcessImpl.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ApplicationShutdownHooks.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ApplicationShutdownHooks$1.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/Class$4.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ClassLoader$2.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ClassValue.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ClassValue$Version.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/CharacterDataLatin1.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Compiler.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/Compiler$1.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/System$2.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/Terminator.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/Terminator$1.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ClassLoader$3.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ThreadLocal$ThreadLocalMap.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ThreadLocal$ThreadLocalMap$Entry.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/Class$1.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/Class$3.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/BootstrapMethodError.class)]
[loading /usr/local/buildtools/java/jdk8-google-v7-64/jre/lib/rt.jar(/java/lang/ReflectiveOperationException.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/NoSuchFieldException.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/UnsupportedOperationException.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/RuntimeException.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/IllegalArgumentException.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Long.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/common/value/qual/IntVal.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/VerifyError.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/NoSuchMethodError.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/NoSuchMethodException.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/NegativeArraySizeException.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/StringBuffer.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Process.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/AbstractMethodError.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Comparable.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/StackTraceElement.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Error.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/InterruptedException.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/IllegalStateException.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/StringIndexOutOfBoundsException.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/InstantiationException.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/InheritableThreadLocal.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/AbstractStringBuilder.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Appendable.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/checker/index/qual/LessThan.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/RuntimePermission.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/AssertionStatusDirectives.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/SecurityException.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Character.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/ClassNotFoundException.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/ExceptionInInitializerError.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/NoClassDefFoundError.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Override.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/UnknownError.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Runtime.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/InternalError.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/CharacterData.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/ArrayIndexOutOfBoundsException.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Cloneable.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/NullPointerException.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Integer.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Integer$IntegerCache.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Number.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Byte.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Byte$ByteCache.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Exception.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/ThreadDeath.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/NumberFormatException.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Void.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/CloneNotSupportedException.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/LinkageError.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/ThreadGroup.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/EnumConstantNotPresentException.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/StringBuilder.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/ClassCircularityError.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/SystemClassLoaderAction.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Readable.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/IllegalMonitorStateException.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/UnsupportedClassVersionError.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/InstantiationError.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Short.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Short$ShortCache.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Deprecated.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/IndexOutOfBoundsException.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/IllegalThreadStateException.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/StackOverflowError.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/ClassCastException.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/IllegalAccessException.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/IllegalAccessError.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/NoSuchFieldError.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/ClassFormatError.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/VirtualMachineError.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Double.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/TypeNotPresentException.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/AssertionError.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/UnsatisfiedLinkError.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Runnable.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Boolean.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/ArrayStoreException.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/OutOfMemoryError.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Float.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Iterable.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/ArithmeticException.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/Enum.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/lang/IncompatibleClassChangeError.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/util/Vector.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/util/Vector$VectorSpliterator.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/util/Vector$ListItr.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/util/Vector$Itr.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/util/function/Function.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/checker/initialization/qual/Initialized.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/checker/initialization/qual/UnderInitialization.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/checker/initialization/qual/NotOnlyInitialized.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/checker/initialization/qual/FBCBottom.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/checker/nullness/qual/NonNull.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/framework/qual/UpperBoundFor.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/framework/qual/TypeKind.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/checker/nullness/qual/PolyNull.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/checker/nullness/qual/MonotonicNonNull.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/checker-qual.jar(/org/checkerframework/framework/qual/MonotonicQualifier.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/util/Collection.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/util/AbstractMap.class)]
[wrote SimpleFileObject[/tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/Caller.class]]
[total 1174ms]