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/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/initialization/qual/UnknownInitialization.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/lang/System.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/lang/Throwable.class)]
[loading /tmp/tmp.uVVIQZzeF2/checker-framework-3.0.1/checker/dist/jdk8.jar(/java/util/AbstractMap.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/CharSequence.class)]
Caller.java:6: error: [type.argument.type.incompatible] incompatible types in type argument.
    ConcurrentHashMap<@Nullable String, @Nullable String> m;
                      ^
  found   : @Initialized @Nullable String
  required: @Initialized @NonNull Object
[total 930ms]
1 error