javac 1.8.0_171
[parsing started RegularFileObject[Bar.java]]
[parsing completed 13ms]
[search path for source files: /home/jason/git/checker-framework/checker/bin-devel/../../dataflow/build/classes/java/main,/home/jason/git/checker-framework/checker/bin-devel/../../javacutil/build/classes/java/main,/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/classes/java/main,/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/resources/main,/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main,/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/resources/main,/home/jason/git/checker-framework/checker/bin-devel/../../../stubparser/javaparser-core/stubparser.jar,/home/jason/git/checker-framework/checker/bin-devel/../../../annotation-tools/scene-lib/bin,/home/jason/git/checker-framework/checker/bin-devel/../../../annotation-tools/annotation-file-utilities/annotation-file-utilities.jar,/home/jason/git/checker-framework/checker/bin-devel/../dist/checker-qual.jar,.]
[search path for class files: /home/jason/git/checker-framework/checker/bin-devel/../jdk/annotated,/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar,/opt/icedtea-bin-3.8.0/jre/lib/resources.jar,/opt/icedtea-bin-3.8.0/jre/lib/rt.jar,/opt/icedtea-bin-3.8.0/jre/lib/sunrsasign.jar,/opt/icedtea-bin-3.8.0/jre/lib/jsse.jar,/opt/icedtea-bin-3.8.0/jre/lib/jce.jar,/opt/icedtea-bin-3.8.0/jre/lib/charsets.jar,/opt/icedtea-bin-3.8.0/jre/lib/jfr.jar,/opt/icedtea-bin-3.8.0/jre/classes,/opt/icedtea-bin-3.8.0/jre/lib/ext/sunjce_provider.jar,/opt/icedtea-bin-3.8.0/jre/lib/ext/nashorn.jar,/opt/icedtea-bin-3.8.0/jre/lib/ext/cldrdata.jar,/opt/icedtea-bin-3.8.0/jre/lib/ext/sunpkcs11.jar,/opt/icedtea-bin-3.8.0/jre/lib/ext/sunec.jar,/opt/icedtea-bin-3.8.0/jre/lib/ext/dnsns.jar,/opt/icedtea-bin-3.8.0/jre/lib/ext/zipfs.jar,/opt/icedtea-bin-3.8.0/jre/lib/ext/jaccess.jar,/opt/icedtea-bin-3.8.0/jre/lib/ext/localedata.jar,/home/jason/git/checker-framework/checker/bin-devel/../../dataflow/build/classes/java/main,/home/jason/git/checker-framework/checker/bin-devel/../../javacutil/build/classes/java/main,/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/classes/java/main,/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/resources/main,/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main,/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/resources/main,/home/jason/git/checker-framework/checker/bin-devel/../../../stubparser/javaparser-core/stubparser.jar,/home/jason/git/checker-framework/checker/bin-devel/../../../annotation-tools/scene-lib/bin,/home/jason/git/checker-framework/checker/bin-devel/../../../annotation-tools/annotation-file-utilities/annotation-file-utilities.jar,/home/jason/git/checker-framework/checker/bin-devel/../dist/checker-qual.jar,.]
[loading ZipFileIndexFileObject[/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar(java/lang/Object.class)]]
[loading ZipFileIndexFileObject[/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar(java/lang/String.class)]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/index/qual/LTEqLengthOf.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/index/qual/IndexOrHigh.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/index/qual/LengthOf.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/classes/java/main/org/checkerframework/common/value/qual/EnsuresMinLenIf.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/index/qual/LTLengthOf.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/index/qual/IndexFor.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/nullness/qual/EnsuresNonNullIf.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/index/qual/IndexOrLow.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/index/qual/SubstringIndexFor.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/classes/java/main/org/checkerframework/common/value/qual/ArrayLenRange.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/classes/java/main/org/checkerframework/common/value/qual/MinLen.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/index/qual/SameLen.class]]
[loading ZipFileIndexFileObject[/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar(java/lang/Override.class)]]
[loading ZipFileIndexFileObject[/opt/icedtea-bin-3.8.0/jre/lib/rt.jar(java/lang/annotation/Annotation.class)]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/classes/java/main/org/checkerframework/framework/qual/SubtypeOf.class]]
[loading ZipFileIndexFileObject[/opt/icedtea-bin-3.8.0/jre/lib/rt.jar(java/lang/annotation/Retention.class)]]
[loading ZipFileIndexFileObject[/opt/icedtea-bin-3.8.0/jre/lib/rt.jar(java/lang/annotation/RetentionPolicy.class)]]
[loading ZipFileIndexFileObject[/opt/icedtea-bin-3.8.0/jre/lib/rt.jar(java/lang/annotation/Target.class)]]
[loading ZipFileIndexFileObject[/opt/icedtea-bin-3.8.0/jre/lib/rt.jar(java/lang/annotation/ElementType.class)]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/classes/java/main/org/checkerframework/framework/qual/ConditionalPostconditionAnnotation.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/classes/java/main/org/checkerframework/framework/qual/QualifierArgument.class]]
Round 1:
	input files: {Bar}
	annotations: [java.lang.Override]
	last round: false
Processor org.checkerframework.checker.determinism.DeterminismChecker matches [java.lang.Override] and returns false.
[search path for source files: /home/jason/git/checker-framework/checker/bin-devel/../../dataflow/build/classes/java/main,/home/jason/git/checker-framework/checker/bin-devel/../../javacutil/build/classes/java/main,/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/classes/java/main,/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/resources/main,/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main,/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/resources/main,/home/jason/git/checker-framework/checker/bin-devel/../../../stubparser/javaparser-core/stubparser.jar,/home/jason/git/checker-framework/checker/bin-devel/../../../annotation-tools/scene-lib/bin,/home/jason/git/checker-framework/checker/bin-devel/../../../annotation-tools/annotation-file-utilities/annotation-file-utilities.jar,/home/jason/git/checker-framework/checker/bin-devel/../dist/checker-qual.jar,.]
[search path for class files: /home/jason/git/checker-framework/checker/bin-devel/../jdk/annotated,/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar,/opt/icedtea-bin-3.8.0/jre/lib/resources.jar,/opt/icedtea-bin-3.8.0/jre/lib/rt.jar,/opt/icedtea-bin-3.8.0/jre/lib/sunrsasign.jar,/opt/icedtea-bin-3.8.0/jre/lib/jsse.jar,/opt/icedtea-bin-3.8.0/jre/lib/jce.jar,/opt/icedtea-bin-3.8.0/jre/lib/charsets.jar,/opt/icedtea-bin-3.8.0/jre/lib/jfr.jar,/opt/icedtea-bin-3.8.0/jre/classes,/opt/icedtea-bin-3.8.0/jre/lib/ext/sunjce_provider.jar,/opt/icedtea-bin-3.8.0/jre/lib/ext/nashorn.jar,/opt/icedtea-bin-3.8.0/jre/lib/ext/cldrdata.jar,/opt/icedtea-bin-3.8.0/jre/lib/ext/sunpkcs11.jar,/opt/icedtea-bin-3.8.0/jre/lib/ext/sunec.jar,/opt/icedtea-bin-3.8.0/jre/lib/ext/dnsns.jar,/opt/icedtea-bin-3.8.0/jre/lib/ext/zipfs.jar,/opt/icedtea-bin-3.8.0/jre/lib/ext/jaccess.jar,/opt/icedtea-bin-3.8.0/jre/lib/ext/localedata.jar,/home/jason/git/checker-framework/checker/bin-devel/../../dataflow/build/classes/java/main,/home/jason/git/checker-framework/checker/bin-devel/../../javacutil/build/classes/java/main,/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/classes/java/main,/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/resources/main,/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main,/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/resources/main,/home/jason/git/checker-framework/checker/bin-devel/../../../stubparser/javaparser-core/stubparser.jar,/home/jason/git/checker-framework/checker/bin-devel/../../../annotation-tools/scene-lib/bin,/home/jason/git/checker-framework/checker/bin-devel/../../../annotation-tools/annotation-file-utilities/annotation-file-utilities.jar,/home/jason/git/checker-framework/checker/bin-devel/../dist/checker-qual.jar,.]
[loading ZipFileIndexFileObject[/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar(java/lang/Object.class)]]
[loading ZipFileIndexFileObject[/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar(java/lang/String.class)]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/index/qual/LTEqLengthOf.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/index/qual/IndexOrHigh.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/index/qual/LengthOf.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/classes/java/main/org/checkerframework/common/value/qual/EnsuresMinLenIf.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/index/qual/LTLengthOf.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/index/qual/IndexFor.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/nullness/qual/EnsuresNonNullIf.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/index/qual/IndexOrLow.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/index/qual/SubstringIndexFor.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/classes/java/main/org/checkerframework/common/value/qual/ArrayLenRange.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/classes/java/main/org/checkerframework/common/value/qual/MinLen.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/index/qual/SameLen.class]]
[loading ZipFileIndexFileObject[/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar(java/lang/Override.class)]]
[loading ZipFileIndexFileObject[/opt/icedtea-bin-3.8.0/jre/lib/rt.jar(java/lang/annotation/Annotation.class)]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/classes/java/main/org/checkerframework/framework/qual/SubtypeOf.class]]
[loading ZipFileIndexFileObject[/opt/icedtea-bin-3.8.0/jre/lib/rt.jar(java/lang/annotation/Retention.class)]]
[loading ZipFileIndexFileObject[/opt/icedtea-bin-3.8.0/jre/lib/rt.jar(java/lang/annotation/RetentionPolicy.class)]]
[loading ZipFileIndexFileObject[/opt/icedtea-bin-3.8.0/jre/lib/rt.jar(java/lang/annotation/Target.class)]]
[loading ZipFileIndexFileObject[/opt/icedtea-bin-3.8.0/jre/lib/rt.jar(java/lang/annotation/ElementType.class)]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/classes/java/main/org/checkerframework/framework/qual/ConditionalPostconditionAnnotation.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/classes/java/main/org/checkerframework/framework/qual/QualifierArgument.class]]
Round 2:
	input files: {}
	annotations: []
	last round: true
[search path for source files: /home/jason/git/checker-framework/checker/bin-devel/../../dataflow/build/classes/java/main,/home/jason/git/checker-framework/checker/bin-devel/../../javacutil/build/classes/java/main,/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/classes/java/main,/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/resources/main,/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main,/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/resources/main,/home/jason/git/checker-framework/checker/bin-devel/../../../stubparser/javaparser-core/stubparser.jar,/home/jason/git/checker-framework/checker/bin-devel/../../../annotation-tools/scene-lib/bin,/home/jason/git/checker-framework/checker/bin-devel/../../../annotation-tools/annotation-file-utilities/annotation-file-utilities.jar,/home/jason/git/checker-framework/checker/bin-devel/../dist/checker-qual.jar,.]
[search path for class files: /home/jason/git/checker-framework/checker/bin-devel/../jdk/annotated,/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar,/opt/icedtea-bin-3.8.0/jre/lib/resources.jar,/opt/icedtea-bin-3.8.0/jre/lib/rt.jar,/opt/icedtea-bin-3.8.0/jre/lib/sunrsasign.jar,/opt/icedtea-bin-3.8.0/jre/lib/jsse.jar,/opt/icedtea-bin-3.8.0/jre/lib/jce.jar,/opt/icedtea-bin-3.8.0/jre/lib/charsets.jar,/opt/icedtea-bin-3.8.0/jre/lib/jfr.jar,/opt/icedtea-bin-3.8.0/jre/classes,/opt/icedtea-bin-3.8.0/jre/lib/ext/sunjce_provider.jar,/opt/icedtea-bin-3.8.0/jre/lib/ext/nashorn.jar,/opt/icedtea-bin-3.8.0/jre/lib/ext/cldrdata.jar,/opt/icedtea-bin-3.8.0/jre/lib/ext/sunpkcs11.jar,/opt/icedtea-bin-3.8.0/jre/lib/ext/sunec.jar,/opt/icedtea-bin-3.8.0/jre/lib/ext/dnsns.jar,/opt/icedtea-bin-3.8.0/jre/lib/ext/zipfs.jar,/opt/icedtea-bin-3.8.0/jre/lib/ext/jaccess.jar,/opt/icedtea-bin-3.8.0/jre/lib/ext/localedata.jar,/home/jason/git/checker-framework/checker/bin-devel/../../dataflow/build/classes/java/main,/home/jason/git/checker-framework/checker/bin-devel/../../javacutil/build/classes/java/main,/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/classes/java/main,/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/resources/main,/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main,/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/resources/main,/home/jason/git/checker-framework/checker/bin-devel/../../../stubparser/javaparser-core/stubparser.jar,/home/jason/git/checker-framework/checker/bin-devel/../../../annotation-tools/scene-lib/bin,/home/jason/git/checker-framework/checker/bin-devel/../../../annotation-tools/annotation-file-utilities/annotation-file-utilities.jar,/home/jason/git/checker-framework/checker/bin-devel/../dist/checker-qual.jar,.]
[loading ZipFileIndexFileObject[/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar(java/lang/Object.class)]]
[loading ZipFileIndexFileObject[/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar(java/lang/String.class)]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/index/qual/LTEqLengthOf.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/index/qual/IndexOrHigh.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/index/qual/LengthOf.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/classes/java/main/org/checkerframework/common/value/qual/EnsuresMinLenIf.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/index/qual/LTLengthOf.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/index/qual/IndexFor.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/nullness/qual/EnsuresNonNullIf.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/index/qual/IndexOrLow.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/index/qual/SubstringIndexFor.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/classes/java/main/org/checkerframework/common/value/qual/ArrayLenRange.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/classes/java/main/org/checkerframework/common/value/qual/MinLen.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/index/qual/SameLen.class]]
[loading ZipFileIndexFileObject[/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar(java/lang/Override.class)]]
[loading ZipFileIndexFileObject[/opt/icedtea-bin-3.8.0/jre/lib/rt.jar(java/lang/annotation/Annotation.class)]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/classes/java/main/org/checkerframework/framework/qual/SubtypeOf.class]]
[loading ZipFileIndexFileObject[/opt/icedtea-bin-3.8.0/jre/lib/rt.jar(java/lang/annotation/Retention.class)]]
[loading ZipFileIndexFileObject[/opt/icedtea-bin-3.8.0/jre/lib/rt.jar(java/lang/annotation/RetentionPolicy.class)]]
[loading ZipFileIndexFileObject[/opt/icedtea-bin-3.8.0/jre/lib/rt.jar(java/lang/annotation/Target.class)]]
[loading ZipFileIndexFileObject[/opt/icedtea-bin-3.8.0/jre/lib/rt.jar(java/lang/annotation/ElementType.class)]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/classes/java/main/org/checkerframework/framework/qual/ConditionalPostconditionAnnotation.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/classes/java/main/org/checkerframework/framework/qual/QualifierArgument.class]]
[checking Bar]
[loading ZipFileIndexFileObject[/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar(java/io/Serializable.class)]]
[loading ZipFileIndexFileObject[/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar(java/lang/AutoCloseable.class)]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/classes/java/main/org/checkerframework/framework/qual/FromByteCode.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/classes/java/main/org/checkerframework/framework/qual/FromStubFile.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/determinism/qual/OrderNonDet.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/determinism/qual/NonDet.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/classes/java/main/org/checkerframework/framework/qual/DefaultFor.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/classes/java/main/org/checkerframework/framework/qual/TypeUseLocation.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/determinism/qual/Det.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/determinism/qual/PolyDet.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/classes/java/main/org/checkerframework/framework/qual/PolymorphicQualifier.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../dataflow/build/classes/java/main/org/checkerframework/dataflow/qual/Pure.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../dataflow/build/classes/java/main/org/checkerframework/dataflow/qual/SideEffectFree.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../dataflow/build/classes/java/main/org/checkerframework/dataflow/qual/Deterministic.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../dataflow/build/classes/java/main/org/checkerframework/dataflow/qual/TerminatesExecution.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/classes/java/main/org/checkerframework/framework/qual/Unqualified.class]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../framework/build/classes/java/main/org/checkerframework/framework/qual/PolyAll.class]]
[loading ZipFileIndexFileObject[/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar(java/lang/Throwable.class)]]
[loading ZipFileIndexFileObject[/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar(java/util/Collection.class)]]
[loading ZipFileIndexFileObject[/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar(java/util/List.class)]]
[loading ZipFileIndexFileObject[/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar(java/util/ArrayList.class)]]
[loading ZipFileIndexFileObject[/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar(java/util/LinkedList.class)]]
[loading ZipFileIndexFileObject[/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar(java/util/AbstractList.class)]]
[loading ZipFileIndexFileObject[/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar(java/util/AbstractSequentialList.class)]]
[loading ZipFileIndexFileObject[/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar(java/util/Arrays.class)]]
[loading RegularFileObject[/home/jason/git/checker-framework/checker/bin-devel/../../checker/build/classes/java/main/org/checkerframework/checker/index/qual/SearchIndexFor.class]]
[loading ZipFileIndexFileObject[/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar(java/lang/SuppressWarnings.class)]]
[loading ZipFileIndexFileObject[/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar(java/util/Set.class)]]
[loading ZipFileIndexFileObject[/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar(java/util/AbstractSet.class)]]
[loading ZipFileIndexFileObject[/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar(java/util/EnumSet.class)]]
[loading ZipFileIndexFileObject[/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar(java/util/HashSet.class)]]
[loading ZipFileIndexFileObject[/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar(java/util/LinkedHashSet.class)]]
[loading ZipFileIndexFileObject[/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar(java/util/TreeSet.class)]]
[loading ZipFileIndexFileObject[/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar(java/util/SortedSet.class)]]
[loading ZipFileIndexFileObject[/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar(java/util/NavigableSet.class)]]
[loading ZipFileIndexFileObject[/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar(java/lang/Comparable.class)]]
[loading ZipFileIndexFileObject[/home/jason/git/checker-framework/checker/bin-devel/../dist/jdk8.jar(java/lang/CharSequence.class)]]
Bar.java:15: error: [return.type.incompatible] incompatible types in return.
        return this.getString();
                             ^
  found   : @NonDet String
  required: @PolyDet String
[total 388ms]
1 error