Build failed in Jenkins: jdk9-checker-framework #200

158 views
Skip to first unread message

zab...@gmail.com

unread,
Jan 8, 2016, 11:09:00 AM1/8/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/200/>

------------------------------------------
[...truncated 525 lines...]
[exec] this.cause = cause;
[exec] ^
[exec] found : @Initialized @Nullable Throwable
[exec] required: @Initialized @NonNull Throwable
[exec] src/java/lang/Throwable.java:471: warning: [assignment.type.incompatible] incompatible types in assignment.
[exec] this.cause = cause;
[exec] ^
[exec] found : @Initialized @Nullable Throwable
[exec] required: @Initialized @NonNull Throwable
[exec] src/java/lang/Throwable.java:961: warning: [assignment.type.incompatible] incompatible types in assignment.
[exec] stackTrace = null;
[exec] ^
[exec] found : null
[exec] required: @Initialized @NonNull StackTraceElement @Initialized @NonNull []
[exec] src/java/lang/Throwable.java:1090: warning: [return.type.incompatible] incompatible types in return.
[exec] return suppressedExceptions.toArray(EMPTY_THROWABLE_ARRAY);
[exec] ^
[exec] found : @Initialized @Nullable Throwable @Initialized @NonNull []
[exec] required: @Initialized @NonNull Throwable @Initialized @NonNull []
[exec] src/java/util/function/Predicate.java:9: warning: [return.type.incompatible] incompatible types in return.
[exec] return null;
[exec] ^
[exec] found : null
[exec] required: @Initialized @NonNull Predicate<T extends @Initialized @Nullable Object>
[exec] src/java/lang/Integer.java:13: warning: [assignment.type.incompatible] incompatible types in assignment.
[exec] public final static Class<Integer> TYPE = null;
[exec] ^
[exec] found : null
[exec] required: @Initialized @NonNull Class<@Initialized @NonNull Integer>
[exec] src/java/lang/Long.java:13: warning: [assignment.type.incompatible] incompatible types in assignment.
[exec] public final static Class<Long> TYPE = null;
[exec] ^
[exec] found : null
[exec] required: @Initialized @NonNull Class<@Initialized @NonNull Long>
[exec] src/java/lang/Class.java:62: warning: [override.param.invalid] <A extends @Initialized @NonNull Annotation> @org.checkerframework.checker.nullness.qual.Nullable A extends @Initialized @Nullable Annotation getAnnotation(@Initialized @NonNull Class<T extends @Initialized @Nullable Object> this, @Initialized @NonNull Class<A extends @Initialized @NonNull Annotation> p0) in java.lang.Class cannot override <T extends @Initialized @Nullable Annotation> @org.checkerframework.checker.nullness.qual.Nullable T extends @Initialized @Nullable Annotation getAnnotation(@Initialized @NonNull AnnotatedElement this, @Initialized @NonNull Class<T extends @Initialized @Nullable Annotation> p0) in java.lang.reflect.AnnotatedElement; attempting to use an incompatible parameter type
[exec] public <A extends java.lang.annotation.Annotation> @Nullable A getAnnotation(Class<A> a1) { throw new RuntimeException("skeleton method"); }
[exec] ^
[exec] found : @Initialized @NonNull Class<A extends @Initialized @NonNull Annotation>
[exec] required: @Initialized @NonNull Class<T extends @Initialized @Nullable Annotation>
[exec] src/java/lang/ClassNotFoundException.java:73: warning: [initialization.fields.uninitialized] the constructor does not initialize fields: ex
[exec] public ClassNotFoundException() {
[exec] ^
[exec] src/java/lang/ClassNotFoundException.java:83: warning: [initialization.fields.uninitialized] the constructor does not initialize fields: ex
[exec] public ClassNotFoundException(@Nullable String s) {
[exec] ^
[exec] src/java/lang/ClassNotFoundException.java:98: warning: [assignment.type.incompatible] incompatible types in assignment.
[exec] this.ex = ex;
[exec] ^
[exec] found : @Initialized @Nullable Throwable
[exec] required: @Initialized @NonNull Throwable
[exec] src/java/lang/ClassLoader.java:183: warning: [initialization.fields.uninitialized] the constructor does not initialize fields: scl, usr_paths, sys_paths
[exec] static {
[exec] ^
[exec] src/java/lang/ClassLoader.java:257: warning: [assignment.type.incompatible] incompatible types in assignment.
[exec] new ProtectionDomain(new CodeSource(null, (Certificate[]) null),
[exec] ^
[exec] found : @UnderInitialization(java.security.ProtectionDomain.class) @NonNull ProtectionDomain
[exec] required: @Initialized @NonNull ProtectionDomain
[exec] src/java/lang/ClassLoader.java:257: warning: [argument.type.incompatible] incompatible types in argument.
[exec] new ProtectionDomain(new CodeSource(null, (Certificate[]) null),
[exec] ^
[exec] found : null
[exec] required: @Initialized @NonNull URL
[exec] src/java/lang/ClassLoader.java:257: warning: [argument.type.incompatible] incompatible types in argument.
[exec] new ProtectionDomain(new CodeSource(null, (Certificate[]) null),
[exec] ^
[exec] found : @Initialized @NonNull Certificate @FBCBottom @Nullable []
[exec] required: @Initialized @NonNull Certificate @Initialized @NonNull []
[exec] src/java/lang/ClassLoader.java:258: warning: [argument.type.incompatible] incompatible types in argument.
[exec] null, this, null);
[exec] ^
[exec] found : @UnderInitialization(java.lang.Object.class) @NonNull ClassLoader
[exec] required: @Initialized @Nullable ClassLoader
[exec] src/java/lang/ClassLoader.java:258: warning: [argument.type.incompatible] incompatible types in argument.
[exec] null, this, null);
[exec] ^
[exec] found : null
[exec] required: @Initialized @NonNull Principal @Initialized @NonNull []
[exec] src/java/lang/ClassLoader.java:257: warning: [argument.type.incompatible] incompatible types in argument.
[exec] new ProtectionDomain(new CodeSource(null, (Certificate[]) null),
[exec] ^
[exec] found : null
[exec] required: @Initialized @NonNull URL
[exec] src/java/lang/ClassLoader.java:257: warning: [argument.type.incompatible] incompatible types in argument.
[exec] new ProtectionDomain(new CodeSource(null, (Certificate[]) null),
[exec] ^
[exec] found : @Initialized @NonNull Certificate @FBCBottom @Nullable []
[exec] required: @Initialized @NonNull Certificate @Initialized @NonNull []
[exec] src/java/lang/ClassLoader.java:282: warning: [assignment.type.incompatible] incompatible types in assignment.
[exec] this.parent = parent;
[exec] ^
[exec] found : @Initialized @Nullable ClassLoader
[exec] required: @Initialized @NonNull ClassLoader
[exec] src/java/lang/ClassLoader.java:291: warning: [assignment.type.incompatible] incompatible types in assignment.
[exec] parallelLockMap = null;
[exec] ^
[exec] found : null
[exec] required: @Initialized @NonNull ConcurrentHashMap<@Initialized @NonNull String, @Initialized @NonNull Object>
[exec] src/java/lang/ClassLoader.java:294: warning: [assignment.type.incompatible] incompatible types in assignment.
[exec] assertionLock = this;
[exec] ^
[exec] found : @UnderInitialization(java.lang.ClassLoader.class) @NonNull ClassLoader
[exec] required: @Initialized @NonNull Object
[exec] src/java/lang/ClassLoader.java:317: warning: [initialization.fields.uninitialized] the constructor does not initialize fields: parent, parallelLockMap, package2certs, domains, assertionLock
[exec] protected ClassLoader(@Nullable ClassLoader parent) {
[exec] ^
[exec] src/java/lang/ClassLoader.java:336: warning: [initialization.fields.uninitialized] the constructor does not initialize fields: parent, parallelLockMap, package2certs, domains, assertionLock
[exec] protected ClassLoader() {
[exec] ^
[exec] src/java/lang/ClassLoader.java:502: warning: [type.argument.type.incompatible] incompatible types in type argument.
[exec] AccessController.doPrivileged(new PrivilegedAction<Void>() {
[exec] ^
[exec] found : @Initialized @Nullable Void
[exec] required: @Initialized @NonNull Object
[exec] src/java/lang/ClassLoader.java:502: warning: [type.argument.type.incompatible] incompatible types in type argument.
[exec] AccessController.doPrivileged(new PrivilegedAction<Void>() {
[exec] ^
[exec] found : @Initialized @Nullable Void
[exec] required: @Initialized @NonNull Object
[exec] src/java/lang/ClassLoader.java:502: warning: [type.argument.type.incompatible] incompatible types in type argument.
[exec] AccessController.doPrivileged(new PrivilegedAction<Void>() {
[exec] ^
[exec] found : @Initialized @Nullable Void
[exec] required: @Initialized @NonNull Object
[exec] src/java/lang/ref/ReferenceQueue.java:68: error: cannot find symbol
[exec] sun.misc.VM.addFinalRefCount(1);
[exec] ^
[exec] symbol: class VM
[exec] location: package sun.misc
[exec] src/java/lang/ref/ReferenceQueue.java:85: error: cannot find symbol
[exec] sun.misc.VM.addFinalRefCount(-1);
[exec] ^
[exec] symbol: class VM
[exec] location: package sun.misc
[exec] src/java/util/zip/ZipFile.java:93: error: cannot find symbol
[exec] String prop = sun.misc.VM.getSavedProperty("sun.zip.disableMemoryMapping");
[exec] ^
[exec] symbol: class VM
[exec] location: package sun.misc
[exec] error: SourceChecker.typeProcess: unexpected Throwable (ClassCastException) while processing src/java/util/zip/ZipFile.java; message: com.sun.tools.javac.code.Symbol$ClassSymbol cannot be cast to javax.lang.model.element.ExecutableElement
[exec] Compilation unit: src/java/util/zip/ZipFile.java
[exec] Exception: java.lang.ClassCastException: com.sun.tools.javac.code.Symbol$ClassSymbol cannot be cast to javax.lang.model.element.ExecutableElement; Stack trace: org.checkerframework.javacutil.TreeUtils.elementFromUse(TreeUtils.java:390)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitMethodInvocation(CFGBuilder.java:2293)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitMethodInvocation(CFGBuilder.java:1270)
[exec] com.sun.tools.javac.tree.JCTree$JCMethodInvocation.accept(JCTree.java:1614)
[exec] com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:72)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.translateAssignment(CFGBuilder.java:2530)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitVariable(CFGBuilder.java:4285)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitVariable(CFGBuilder.java:1270)
[exec] com.sun.tools.javac.tree.JCTree$JCVariableDecl.accept(JCTree.java:938)
[exec] com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:72)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitBlock(CFGBuilder.java:3057)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitBlock(CFGBuilder.java:1270)
[exec] com.sun.tools.javac.tree.JCTree$JCBlock.accept(JCTree.java:996)
[exec] com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:53)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.process(CFGBuilder.java:1395)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.process(CFGBuilder.java:1416)
[exec] org.checkerframework.framework.flow.CFCFGBuilder.run(CFCFGBuilder.java:65)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.analyze(GenericAnnotatedTypeFactory.java:747)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.analyze(GenericAnnotatedTypeFactory.java:739)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.performFlowAnalysis(GenericAnnotatedTypeFactory.java:672)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.checkAndPerformFlowAnalysis(GenericAnnotatedTypeFactory.java:938)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.annotateImplicit(GenericAnnotatedTypeFactory.java:905)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.annotateImplicit(GenericAnnotatedTypeFactory.java:889)
[exec] org.checkerframework.framework.type.AnnotatedTypeFactory.getAnnotatedType(AnnotatedTypeFactory.java:926)
[exec] org.checkerframework.framework.type.AnnotatedTypeFactory.getAnnotatedType(AnnotatedTypeFactory.java:2014)
[exec] org.checkerframework.common.basetype.BaseTypeVisitor.visitClass(BaseTypeVisitor.java:296)
[exec] org.checkerframework.common.basetype.BaseTypeVisitor.visitClass(BaseTypeVisitor.java:173)
[exec] com.sun.tools.javac.tree.JCTree$JCClassDecl.accept(JCTree.java:778)
[exec] com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:53)
[exec] org.checkerframework.framework.source.SourceVisitor.visit(SourceVisitor.java:70)
[exec] org.checkerframework.framework.source.SourceChecker.typeProcess(SourceChecker.java:889)
[exec] org.checkerframework.common.basetype.BaseTypeChecker.typeProcess(BaseTypeChecker.java:452)
[exec] org.checkerframework.common.basetype.BaseTypeChecker.typeProcess(BaseTypeChecker.java:446)
[exec] org.checkerframework.javacutil.AbstractTypeProcessor$AttributionTaskListener.finished(AbstractTypeProcessor.java:205)
[exec] com.sun.tools.javac.api.ClientCodeWrapper$WrappedTaskListener.finished(ClientCodeWrapper.java:706)
[exec] com.sun.tools.javac.api.MultiTaskListener.finished(MultiTaskListener.java:120)
[exec] com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1312)
[exec] com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1266)
[exec] com.sun.tools.javac.main.JavaCompiler.compile(JavaCompiler.java:871)
[exec] com.sun.tools.javac.main.Main.compile(Main.java:257)
[exec] com.sun.tools.javac.main.Main.compile(Main.java:142)
[exec] com.sun.tools.javac.Main.compile(Main.java:56)
[exec] com.sun.tools.javac.Main.main(Main.java:42)
[exec] error: SourceChecker.typeProcess: unexpected Throwable (ClassCastException) while processing src/java/util/zip/ZipFile.java; message: com.sun.tools.javac.code.Symbol$ClassSymbol cannot be cast to javax.lang.model.element.ExecutableElement
[exec] Compilation unit: src/java/util/zip/ZipFile.java
[exec] Exception: java.lang.ClassCastException: com.sun.tools.javac.code.Symbol$ClassSymbol cannot be cast to javax.lang.model.element.ExecutableElement; Stack trace: org.checkerframework.javacutil.TreeUtils.elementFromUse(TreeUtils.java:390)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitMethodInvocation(CFGBuilder.java:2293)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitMethodInvocation(CFGBuilder.java:1270)
[exec] com.sun.tools.javac.tree.JCTree$JCMethodInvocation.accept(JCTree.java:1614)
[exec] com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:72)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.translateAssignment(CFGBuilder.java:2530)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitVariable(CFGBuilder.java:4285)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitVariable(CFGBuilder.java:1270)
[exec] com.sun.tools.javac.tree.JCTree$JCVariableDecl.accept(JCTree.java:938)
[exec] com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:72)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitBlock(CFGBuilder.java:3057)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitBlock(CFGBuilder.java:1270)
[exec] com.sun.tools.javac.tree.JCTree$JCBlock.accept(JCTree.java:996)
[exec] com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:53)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.process(CFGBuilder.java:1395)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.process(CFGBuilder.java:1416)
[exec] org.checkerframework.framework.flow.CFCFGBuilder.run(CFCFGBuilder.java:65)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.analyze(GenericAnnotatedTypeFactory.java:747)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.analyze(GenericAnnotatedTypeFactory.java:739)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.performFlowAnalysis(GenericAnnotatedTypeFactory.java:672)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.checkAndPerformFlowAnalysis(GenericAnnotatedTypeFactory.java:938)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.annotateImplicit(GenericAnnotatedTypeFactory.java:905)
[exec] org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.annotateImplicit(NullnessAnnotatedTypeFactory.java:198)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.annotateImplicit(GenericAnnotatedTypeFactory.java:889)
[exec] org.checkerframework.framework.type.AnnotatedTypeFactory.getAnnotatedType(AnnotatedTypeFactory.java:926)
[exec] org.checkerframework.framework.type.AnnotatedTypeFactory.getAnnotatedType(AnnotatedTypeFactory.java:2014)
[exec] org.checkerframework.checker.initialization.InitializationVisitor.visitClass(InitializationVisitor.java:311)
[exec] org.checkerframework.checker.initialization.InitializationVisitor.visitClass(InitializationVisitor.java:65)
[exec] com.sun.tools.javac.tree.JCTree$JCClassDecl.accept(JCTree.java:778)
[exec] com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:53)
[exec] org.checkerframework.framework.source.SourceVisitor.visit(SourceVisitor.java:70)
[exec] org.checkerframework.framework.source.SourceChecker.typeProcess(SourceChecker.java:889)
[exec] org.checkerframework.common.basetype.BaseTypeChecker.typeProcess(BaseTypeChecker.java:452)
[exec] org.checkerframework.javacutil.AbstractTypeProcessor$AttributionTaskListener.finished(AbstractTypeProcessor.java:205)
[exec] com.sun.tools.javac.api.ClientCodeWrapper$WrappedTaskListener.finished(ClientCodeWrapper.java:706)
[exec] com.sun.tools.javac.api.MultiTaskListener.finished(MultiTaskListener.java:120)
[exec] com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1312)
[exec] com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1266)
[exec] com.sun.tools.javac.main.JavaCompiler.compile(JavaCompiler.java:871)
[exec] com.sun.tools.javac.main.Main.compile(Main.java:257)
[exec] com.sun.tools.javac.main.Main.compile(Main.java:142)
[exec] com.sun.tools.javac.Main.compile(Main.java:56)
[exec] com.sun.tools.javac.Main.main(Main.java:42)
[exec] Note: src/java/util/jar/JarFile.java uses unchecked or unsafe operations.
[exec] Note: Recompile with -Xlint:unchecked for details.
[exec] 7 errors
[exec] 100 warnings
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk/nullness'>
[exec] make: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] make[1]: *** [classes] Error 1
[exec] make: *** [nullness.classes] Error 2

BUILD FAILED
<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/build.xml>:1306: exec returned: 2

Total time: 1 minute 32 seconds
Build step 'Invoke Ant' marked build as failure
[WARNINGS] Skipping publisher since build result is FAILURE
[TASKS] Skipping publisher since build result is FAILURE
Archiving artifacts
Recording test results
ERROR: Step ‘Publish JUnit test result report’ failed: No test report files were found. Configuration error?

zab...@gmail.com

unread,
Jan 8, 2016, 4:40:53 PM1/8/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/201/>

------------------------------------------
[...truncated 532 lines...]
[exec] com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:71)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.translateAssignment(CFGBuilder.java:2530)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitVariable(CFGBuilder.java:4285)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitVariable(CFGBuilder.java:1270)
[exec] com.sun.tools.javac.tree.JCTree$JCVariableDecl.accept(JCTree.java:938)
[exec] com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:71)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitBlock(CFGBuilder.java:3057)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitBlock(CFGBuilder.java:1270)
[exec] com.sun.tools.javac.tree.JCTree$JCBlock.accept(JCTree.java:996)
[exec] com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:52)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.process(CFGBuilder.java:1395)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.process(CFGBuilder.java:1416)
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk/nullness'>
[exec] make: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] org.checkerframework.framework.flow.CFCFGBuilder.run(CFCFGBuilder.java:65)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.analyze(GenericAnnotatedTypeFactory.java:747)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.analyze(GenericAnnotatedTypeFactory.java:739)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.performFlowAnalysis(GenericAnnotatedTypeFactory.java:672)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.checkAndPerformFlowAnalysis(GenericAnnotatedTypeFactory.java:938)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.annotateImplicit(GenericAnnotatedTypeFactory.java:905)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.annotateImplicit(GenericAnnotatedTypeFactory.java:889)
[exec] org.checkerframework.framework.type.AnnotatedTypeFactory.getAnnotatedType(AnnotatedTypeFactory.java:926)
[exec] org.checkerframework.framework.type.AnnotatedTypeFactory.getAnnotatedType(AnnotatedTypeFactory.java:2014)
[exec] org.checkerframework.common.basetype.BaseTypeVisitor.visitClass(BaseTypeVisitor.java:296)
[exec] org.checkerframework.common.basetype.BaseTypeVisitor.visitClass(BaseTypeVisitor.java:173)
[exec] com.sun.tools.javac.tree.JCTree$JCClassDecl.accept(JCTree.java:778)
[exec] com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:52)
[exec] org.checkerframework.framework.source.SourceVisitor.visit(SourceVisitor.java:70)
[exec] org.checkerframework.framework.source.SourceChecker.typeProcess(SourceChecker.java:889)
[exec] org.checkerframework.common.basetype.BaseTypeChecker.typeProcess(BaseTypeChecker.java:452)
[exec] org.checkerframework.common.basetype.BaseTypeChecker.typeProcess(BaseTypeChecker.java:446)
[exec] org.checkerframework.javacutil.AbstractTypeProcessor$AttributionTaskListener.finished(AbstractTypeProcessor.java:205)
[exec] com.sun.tools.javac.api.ClientCodeWrapper$WrappedTaskListener.finished(ClientCodeWrapper.java:706)
[exec] com.sun.tools.javac.api.MultiTaskListener.finished(MultiTaskListener.java:120)
[exec] com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1312)
[exec] com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1266)
[exec] com.sun.tools.javac.main.JavaCompiler.compile(JavaCompiler.java:871)
[exec] com.sun.tools.javac.main.Main.compile(Main.java:257)
[exec] com.sun.tools.javac.main.Main.compile(Main.java:142)
[exec] com.sun.tools.javac.Main.compile(Main.java:55)
[exec] com.sun.tools.javac.Main.main(Main.java:41)
[exec] error: SourceChecker.typeProcess: unexpected Throwable (ClassCastException) while processing src/java/util/zip/ZipFile.java; message: com.sun.tools.javac.code.Symbol$ClassSymbol cannot be cast to javax.lang.model.element.ExecutableElement
[exec] Compilation unit: src/java/util/zip/ZipFile.java
[exec] Exception: java.lang.ClassCastException: com.sun.tools.javac.code.Symbol$ClassSymbol cannot be cast to javax.lang.model.element.ExecutableElement; Stack trace: org.checkerframework.javacutil.TreeUtils.elementFromUse(TreeUtils.java:390)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitMethodInvocation(CFGBuilder.java:2293)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitMethodInvocation(CFGBuilder.java:1270)
[exec] com.sun.tools.javac.tree.JCTree$JCMethodInvocation.accept(JCTree.java:1614)
[exec] com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:71)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.translateAssignment(CFGBuilder.java:2530)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitVariable(CFGBuilder.java:4285)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitVariable(CFGBuilder.java:1270)
[exec] com.sun.tools.javac.tree.JCTree$JCVariableDecl.accept(JCTree.java:938)
[exec] com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:71)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitBlock(CFGBuilder.java:3057)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitBlock(CFGBuilder.java:1270)
[exec] com.sun.tools.javac.tree.JCTree$JCBlock.accept(JCTree.java:996)
[exec] com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:52)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.process(CFGBuilder.java:1395)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.process(CFGBuilder.java:1416)
[exec] org.checkerframework.framework.flow.CFCFGBuilder.run(CFCFGBuilder.java:65)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.analyze(GenericAnnotatedTypeFactory.java:747)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.analyze(GenericAnnotatedTypeFactory.java:739)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.performFlowAnalysis(GenericAnnotatedTypeFactory.java:672)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.checkAndPerformFlowAnalysis(GenericAnnotatedTypeFactory.java:938)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.annotateImplicit(GenericAnnotatedTypeFactory.java:905)
[exec] org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.annotateImplicit(NullnessAnnotatedTypeFactory.java:198)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.annotateImplicit(GenericAnnotatedTypeFactory.java:889)
[exec] org.checkerframework.framework.type.AnnotatedTypeFactory.getAnnotatedType(AnnotatedTypeFactory.java:926)
[exec] org.checkerframework.framework.type.AnnotatedTypeFactory.getAnnotatedType(AnnotatedTypeFactory.java:2014)
[exec] org.checkerframework.checker.initialization.InitializationVisitor.visitClass(InitializationVisitor.java:311)
[exec] org.checkerframework.checker.initialization.InitializationVisitor.visitClass(InitializationVisitor.java:65)
[exec] com.sun.tools.javac.tree.JCTree$JCClassDecl.accept(JCTree.java:778)
[exec] com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:52)
[exec] org.checkerframework.framework.source.SourceVisitor.visit(SourceVisitor.java:70)
[exec] org.checkerframework.framework.source.SourceChecker.typeProcess(SourceChecker.java:889)
[exec] org.checkerframework.common.basetype.BaseTypeChecker.typeProcess(BaseTypeChecker.java:452)
[exec] org.checkerframework.javacutil.AbstractTypeProcessor$AttributionTaskListener.finished(AbstractTypeProcessor.java:205)
[exec] com.sun.tools.javac.api.ClientCodeWrapper$WrappedTaskListener.finished(ClientCodeWrapper.java:706)
[exec] com.sun.tools.javac.api.MultiTaskListener.finished(MultiTaskListener.java:120)
[exec] com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1312)
[exec] com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1266)
[exec] com.sun.tools.javac.main.JavaCompiler.compile(JavaCompiler.java:871)
[exec] com.sun.tools.javac.main.Main.compile(Main.java:257)
[exec] com.sun.tools.javac.main.Main.compile(Main.java:142)
[exec] com.sun.tools.javac.Main.compile(Main.java:55)
[exec] com.sun.tools.javac.Main.main(Main.java:41)
[exec] Note: src/java/util/jar/JarFile.java uses unchecked or unsafe operations.
[exec] Note: Recompile with -Xlint:unchecked for details.
[exec] 7 errors
[exec] 100 warnings
[exec] make[1]: *** [classes] Error 1
[exec] make: *** [nullness.classes] Error 2

BUILD FAILED
<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/build.xml>:1306: exec returned: 2

Total time: 2 minutes 26 seconds

zab...@gmail.com

unread,
Jan 8, 2016, 4:43:19 PM1/8/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/202/>

------------------------------------------
[...truncated 525 lines...]
Total time: 2 minutes 21 seconds

zab...@gmail.com

unread,
Jan 8, 2016, 4:45:53 PM1/8/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/203/>
Total time: 2 minutes 28 seconds

zab...@gmail.com

unread,
Jan 8, 2016, 4:48:45 PM1/8/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/204/>
Total time: 2 minutes 46 seconds

zab...@gmail.com

unread,
Jan 9, 2016, 9:25:21 PM1/9/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/205/changes>

Changes:

[Suzanne Millstein] postInit() must be the last statement in an AnnotatedTypeFactory

[dbro] rebuilt with -target 1.7

[Michael Ernst] Remove documentation "This annotation may not be written in source code"

[Werner Dietl] Remove unused RTJAR variable and update documentation to use the current

[Werner Dietl] Update JDK 9 version string.

[Werner Dietl] Adapt to changed ct.sym file layout and naming.

[Werner Dietl] Adaptations to JDK 9 changes.

------------------------------------------
[...truncated 7517 lines...]
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] make jdk.jar
[exec] make[1]: Entering directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] cd annotated; jar cf ../jdk.jar .
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] make: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[move] Moving 1 file to <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk>

jdk.jar.exists:

dist-nobuildjdk:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/205/artifact/checker/dist/javac.jar>
[copy] Warning: Could not find file <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk/jdk7.jar> to copy.
[copy] Warning: Could not find file <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk/jdk8.jar> to copy.
[copy] Copying 1 file to <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/205/artifact/checker/dist>

dist:

prep-all:

prep:

-prep-framework-compile:

-prep-dist:

prep-all:

prep:

-prep-stubparser-compile:

prep-all:

prep:

build:

dist:

-prep-javacutil-compile:

prep-all:

prep:

build.check.uptodate:

build:
[java] javac 1.9.0-internal
[delete] Deleting: /tmp/jenkins/16-01-09-06-13-11-8130/checker/srcfiles-javacutil.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/dist/javacutil.jar>

-prep-dataflow-compile:

prep-all:

prep:

-prep-javacutil-compile:

prep-all:

prep:

build.check.uptodate:

build:
[java] javac 1.9.0-internal
[delete] Deleting: /tmp/jenkins/16-01-09-06-13-11-8130/checker/srcfiles-javacutil.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/dist/javacutil.jar>

build.check.uptodate:

build:
[java] javac 1.9.0-internal
[delete] Deleting: /tmp/jenkins/16-01-09-06-13-11-8130/checker/srcfiles-dataflow.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/dist/dataflow.jar>

build.check.uptodate:

build:
[java] javac 1.9.0-internal
[delete] Deleting: /tmp/jenkins/16-01-09-06-13-11-8130/checker/srcfiles-framework.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/framework/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/framework/build/.timestamp>

jar:
[unjar] Expanding: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/stubparser/dist/stubparser.jar> into <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/framework/build>
[unjar] Expanding: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/dist/javacutil.jar> into <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/framework/build>
[unjar] Expanding: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/dist/dataflow.jar> into <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/framework/build>
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/framework/dist/framework.jar>

dist:

prep-ManualTaglet:
[java] javac 1.9.0-internal

build.check.uptodate:

javadoc:
[javadoc] Generating Javadoc
[javadoc] Javadoc execution
[javadoc] Loading source files for package org.checkerframework.checker.compilermsgs...
[javadoc] Loading source files for package org.checkerframework.checker.compilermsgs.qual...
[javadoc] Loading source files for package org.checkerframework.checker.experimental.regex_qual...
[javadoc] Loading source files for package org.checkerframework.checker.experimental.tainting_qual...
[javadoc] Loading source files for package org.checkerframework.checker.experimental.tainting_qual.qual...
[javadoc] Loading source files for package org.checkerframework.checker.fenum...
[javadoc] Loading source files for package org.checkerframework.checker.fenum.qual...
[javadoc] Loading source files for package org.checkerframework.checker.formatter...
[javadoc] Loading source files for package org.checkerframework.checker.formatter.qual...
[javadoc] Loading source files for package org.checkerframework.checker.guieffect...
[javadoc] Loading source files for package org.checkerframework.checker.guieffect.qual...
[javadoc] Loading source files for package org.checkerframework.checker.i18n...
[javadoc] Loading source files for package org.checkerframework.checker.i18n.qual...
[javadoc] Loading source files for package org.checkerframework.checker.i18nformatter...
[javadoc] Loading source files for package org.checkerframework.checker.i18nformatter.qual...
[javadoc] Loading source files for package org.checkerframework.checker.i18nformatter.unittests...
[javadoc] Loading source files for package org.checkerframework.checker.igj...
[javadoc] Loading source files for package org.checkerframework.checker.igj.qual...
[javadoc] Loading source files for package org.checkerframework.checker.initialization...
[javadoc] Loading source files for package org.checkerframework.checker.initialization.qual...
[javadoc] Loading source files for package org.checkerframework.checker.interning...
[javadoc] Loading source files for package org.checkerframework.checker.interning.qual...
[javadoc] Loading source files for package org.checkerframework.checker.javari...
[javadoc] Loading source files for package org.checkerframework.checker.javari.qual...
[javadoc] Loading source files for package org.checkerframework.checker.linear...
[javadoc] Loading source files for package org.checkerframework.checker.linear.qual...
[javadoc] Loading source files for package org.checkerframework.checker.lock...
[javadoc] Loading source files for package org.checkerframework.checker.lock.qual...
[javadoc] Loading source files for package org.checkerframework.checker.nullness...
[javadoc] Loading source files for package org.checkerframework.checker.nullness.compatqual...
[javadoc] Loading source files for package org.checkerframework.checker.nullness.qual...
[javadoc] Loading source files for package org.checkerframework.checker.oigj...
[javadoc] Loading source files for package org.checkerframework.checker.oigj.qual...
[javadoc] Loading source files for package org.checkerframework.checker.propkey...
[javadoc] Loading source files for package org.checkerframework.checker.propkey.qual...
[javadoc] Loading source files for package org.checkerframework.checker.regex...
[javadoc] Loading source files for package org.checkerframework.checker.regex.classic...
[javadoc] Loading source files for package org.checkerframework.checker.regex.classic.qual...
[javadoc] Loading source files for package org.checkerframework.checker.regex.qual...
[javadoc] Loading source files for package org.checkerframework.checker.signature...
[javadoc] Loading source files for package org.checkerframework.checker.signature.qual...
[javadoc] Loading source files for package org.checkerframework.checker.tainting...
[javadoc] Loading source files for package org.checkerframework.checker.tainting.classic...
[javadoc] Loading source files for package org.checkerframework.checker.tainting.classic.qual...
[javadoc] Loading source files for package org.checkerframework.checker.tainting.qual...
[javadoc] Loading source files for package org.checkerframework.checker.units...
[javadoc] Loading source files for package org.checkerframework.checker.units.qual...
[javadoc] Loading source files for package org.checkerframework.javacutil...
[javadoc] Loading source files for package org.checkerframework.javacutil.dist...
[javadoc] Loading source files for package org.checkerframework.javacutil.trees...
[javadoc] Loading source files for package org.checkerframework.dataflow.analysis...
[javadoc] Loading source files for package org.checkerframework.dataflow.cfg...
[javadoc] Loading source files for package org.checkerframework.dataflow.cfg.block...
[javadoc] Loading source files for package org.checkerframework.dataflow.cfg.node...
[javadoc] Loading source files for package org.checkerframework.dataflow.cfg.playground...
[javadoc] Loading source files for package org.checkerframework.dataflow.constantpropagation...
[javadoc] Loading source files for package org.checkerframework.dataflow.qual...
[javadoc] Loading source files for package org.checkerframework.dataflow.util...
[javadoc] Loading source files for package org.checkerframework.stubparser...
[javadoc] Loading source files for package org.checkerframework.stubparser.ast...
[javadoc] Loading source files for package org.checkerframework.stubparser.ast.body...
[javadoc] Loading source files for package org.checkerframework.stubparser.ast.expr...
[javadoc] Loading source files for package org.checkerframework.stubparser.ast.stmt...
[javadoc] Loading source files for package org.checkerframework.stubparser.ast.type...
[javadoc] Loading source files for package org.checkerframework.stubparser.ast.visitor...
[javadoc] Loading source files for package org.checkerframework.common.aliasing...
[javadoc] Loading source files for package org.checkerframework.common.aliasing.qual...
[javadoc] Loading source files for package org.checkerframework.common.basetype...
[javadoc] Loading source files for package org.checkerframework.common.reflection...
[javadoc] Loading source files for package org.checkerframework.common.reflection.qual...
[javadoc] Loading source files for package org.checkerframework.common.subtyping...
[javadoc] Loading source files for package org.checkerframework.common.util...
[javadoc] Loading source files for package org.checkerframework.common.util.count...
[javadoc] Loading source files for package org.checkerframework.common.util.debug...
[javadoc] Loading source files for package org.checkerframework.common.util.report...
[javadoc] Loading source files for package org.checkerframework.common.util.report.qual...
[javadoc] Loading source files for package org.checkerframework.common.value...
[javadoc] Loading source files for package org.checkerframework.common.value.qual...
[javadoc] Loading source files for package org.checkerframework.common.value.util...
[javadoc] Loading source files for package org.checkerframework.framework.flow...
[javadoc] Loading source files for package org.checkerframework.framework.flow.util...
[javadoc] Loading source files for package org.checkerframework.framework.qual...
[javadoc] Loading source files for package org.checkerframework.framework.source...
[javadoc] Loading source files for package org.checkerframework.framework.test...
[javadoc] Loading source files for package org.checkerframework.framework.test.diagnostics...
[javadoc] Loading source files for package org.checkerframework.framework.type...
[javadoc] Loading source files for package org.checkerframework.framework.type.treeannotator...
[javadoc] Loading source files for package org.checkerframework.framework.type.typeannotator...
[javadoc] Loading source files for package org.checkerframework.framework.type.visitor...
[javadoc] Loading source files for package org.checkerframework.framework.util...
[javadoc] Loading source files for package org.checkerframework.framework.util.defaults...
[javadoc] Loading source files for package org.checkerframework.framework.util.element...
[javadoc] Loading source files for package org.checkerframework.framework.util.typeinference...
[javadoc] Loading source files for package org.checkerframework.framework.util.typeinference.constraint...
[javadoc] Loading source files for package org.checkerframework.framework.util.typeinference.solver...
[javadoc] Loading source files for package org.checkerframework.qualframework.base...
[javadoc] Loading source files for package org.checkerframework.qualframework.base.dataflow...
[javadoc] Loading source files for package org.checkerframework.qualframework.base.format...
[javadoc] Loading source files for package org.checkerframework.qualframework.poly...
[javadoc] Loading source files for package org.checkerframework.qualframework.poly.format...
[javadoc] Loading source files for package org.checkerframework.qualframework.poly.qual...
[javadoc] Loading source files for package org.checkerframework.qualframework.util...
[javadoc] Constructing Javadoc information...
[javadoc] 1 error
[javadoc] com.sun.tools.javac.util.FatalError: Fatal Error: Unable to find package java.lang in classpath or bootclasspath
[javadoc] at com.sun.tools.javac.comp.TypeEnter$ImportsPhase.resolveImports(TypeEnter.java:335)
[javadoc] at com.sun.tools.javac.comp.TypeEnter$ImportsPhase.runPhase(TypeEnter.java:302)
[javadoc] at com.sun.tools.javac.comp.TypeEnter$Phase.doCompleteEnvs(TypeEnter.java:264)
[javadoc] at com.sun.tools.javac.comp.TypeEnter$Phase.completeEnvs(TypeEnter.java:242)
[javadoc] at com.sun.tools.javac.comp.TypeEnter.complete(TypeEnter.java:196)
[javadoc] at com.sun.tools.javac.code.Symbol.complete(Symbol.java:590)
[javadoc] at com.sun.tools.javac.code.Symbol$ClassSymbol.complete(Symbol.java:1085)
[javadoc] at com.sun.tools.javac.comp.Enter.complete(Enter.java:490)
[javadoc] at com.sun.tools.javac.comp.Enter.main(Enter.java:467)
[javadoc] at com.sun.tools.javadoc.JavadocEnter.main(JavadocEnter.java:80)
[javadoc] at com.sun.tools.javadoc.JavadocTool.getRootDocImpl(JavadocTool.java:216)
[javadoc] at com.sun.tools.javadoc.Start.parseAndExecute(Start.java:412)
[javadoc] at com.sun.tools.javadoc.Start.begin(Start.java:230)
[javadoc] at com.sun.tools.javadoc.Start.begin(Start.java:216)
[javadoc] at com.sun.tools.javadoc.Main.execute(Main.java:64)
[javadoc] at com.sun.tools.javadoc.Main.main(Main.java:54)
[javadoc] javadoc: error - fatal error

BUILD FAILED
<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/build.xml>:356: Javadoc returned 1

Total time: 12 minutes 7 seconds

zab...@gmail.com

unread,
Jan 9, 2016, 9:27:29 PM1/9/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/206/>

------------------------------------------
[...truncated 430 lines...]
[exec] @SideEffectFree public Throwable(@Nullable String message, @Nullable Throwable cause) {
[exec] ^
[exec] src/java/lang/Throwable.java:294: warning: [method.invocation.invalid] call to fillInStackTrace() not allowed on the given receiver.
[exec] fillInStackTrace();
[exec] ^
[exec] found : @UnderInitialization(java.lang.Object.class) @NonNull Throwable
[exec] required: @Initialized @NonNull Throwable
[exec] src/java/lang/Throwable.java:295: warning: [assignment.type.incompatible] incompatible types in assignment.
[exec] detailMessage = message;
[exec] ^
[exec] found : @Initialized @Nullable String
[exec] required: @Initialized @NonNull String
[exec] src/java/lang/Throwable.java:296: warning: [assignment.type.incompatible] incompatible types in assignment.
[exec] this.cause = cause;
[exec] ^
[exec] found : @Initialized @Nullable Throwable
[exec] required: @Initialized @NonNull Throwable
[exec] src/java/lang/Throwable.java:316: warning: [initialization.fields.uninitialized] the constructor does not initialize fields: backtrace
[exec] @SideEffectFree public Throwable(@Nullable Throwable cause) {
[exec] ^
[exec] src/java/lang/Throwable.java:317: warning: [method.invocation.invalid] call to fillInStackTrace() not allowed on the given receiver.
[exec] fillInStackTrace();
[exec] ^
[exec] found : @UnderInitialization(java.lang.Object.class) @NonNull Throwable
[exec] required: @Initialized @NonNull Throwable
[exec] src/java/lang/Throwable.java:318: warning: [assignment.type.incompatible] incompatible types in assignment.
[exec] detailMessage = (cause==null ? null : cause.toString());
[exec] ^
[exec] found : @Initialized @Nullable String
[exec] required: @Initialized @NonNull String
[exec] src/java/lang/Throwable.java:319: warning: [assignment.type.incompatible] incompatible types in assignment.
[exec] this.cause = cause;
[exec] ^
[exec] found : @Initialized @Nullable Throwable
[exec] required: @Initialized @NonNull Throwable
[exec] src/java/lang/Throwable.java:363: warning: [initialization.fields.uninitialized] the constructor does not initialize fields: backtrace
[exec] @SideEffectFree protected Throwable(@Nullable String message, @Nullable Throwable cause,
[exec] ^
[exec] src/java/lang/Throwable.java:367: warning: [method.invocation.invalid] call to fillInStackTrace() not allowed on the given receiver.
[exec] fillInStackTrace();
[exec] ^
[exec] found : @UnderInitialization(java.lang.Object.class) @NonNull Throwable
[exec] required: @Initialized @NonNull Throwable
[exec] src/java/lang/Throwable.java:369: warning: [assignment.type.incompatible] incompatible types in assignment.
[exec] stackTrace = null;
[exec] ^
[exec] found : null
[exec] required: @Initialized @NonNull StackTraceElement @Initialized @NonNull []
[exec] src/java/lang/Throwable.java:371: warning: [assignment.type.incompatible] incompatible types in assignment.
[exec] detailMessage = message;
[exec] ^
[exec] found : @Initialized @Nullable String
[exec] required: @Initialized @NonNull String
[exec] src/java/lang/Throwable.java:372: warning: [assignment.type.incompatible] incompatible types in assignment.
[exec] this.cause = cause;
[exec] ^
[exec] found : @Initialized @Nullable Throwable
[exec] required: @Initialized @NonNull Throwable
[exec] src/java/lang/Throwable.java:374: warning: [assignment.type.incompatible] incompatible types in assignment.
[exec] suppressedExceptions = null;
[exec] ^
[exec] found : null
[exec] required: @Initialized @NonNull List<@Initialized @NonNull Throwable>
[exec] src/java/lang/Throwable.java:468: warning: [argument.type.incompatible] incompatible types in argument.
[exec] Objects.toString(cause, "a null"), this);
[exec] ^
[exec] found : @UnknownInitialization @NonNull Throwable
[exec] required: @Initialized @Nullable Throwable
[exec] src/java/lang/Class.java:63: warning: [override.param.invalid] <A extends @Initialized @NonNull Annotation> @org.checkerframework.checker.nullness.qual.Nullable A extends @Initialized @Nullable Annotation getAnnotation(@Initialized @NonNull Class<T extends @Initialized @Nullable Object> this, @Initialized @NonNull Class<A extends @Initialized @NonNull Annotation> p0) in java.lang.Class cannot override <T extends @Initialized @Nullable Annotation> @org.checkerframework.checker.nullness.qual.Nullable T extends @Initialized @Nullable Annotation getAnnotation(@Initialized @NonNull AnnotatedElement this, @Initialized @NonNull Class<T extends @Initialized @Nullable Annotation> p0) in java.lang.reflect.AnnotatedElement; attempting to use an incompatible parameter type
[exec] public <A extends java.lang.annotation.Annotation> @Nullable A getAnnotation(Class<A> a1) { throw new RuntimeException("skeleton method"); }
[exec] ^
[exec] found : @Initialized @NonNull Class<A extends @Initialized @NonNull Annotation>
[exec] required: @Initialized @NonNull Class<T extends @Initialized @Nullable Annotation>
[exec] src/java/lang/ClassNotFoundException.java:73: warning: [initialization.fields.uninitialized] the constructor does not initialize fields: ex
[exec] public ClassNotFoundException() {
[exec] ^
[exec] src/java/lang/ClassNotFoundException.java:83: warning: [initialization.fields.uninitialized] the constructor does not initialize fields: ex
[exec] public ClassNotFoundException(@Nullable String s) {
[exec] ^
[exec] src/java/lang/ClassNotFoundException.java:98: warning: [assignment.type.incompatible] incompatible types in assignment.
[exec] this.ex = ex;
[exec] ^
[exec] found : @Initialized @Nullable Throwable
[exec] required: @Initialized @NonNull Throwable
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk/nullness'>
[exec] make: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] src/java/lang/ClassLoader.java:184: warning: [initialization.fields.uninitialized] the constructor does not initialize fields: scl, usr_paths, sys_paths
[exec] static {
[exec] ^
[exec] src/java/lang/ClassLoader.java:258: warning: [assignment.type.incompatible] incompatible types in assignment.
[exec] new ProtectionDomain(new CodeSource(null, (Certificate[]) null),
[exec] ^
[exec] found : @UnderInitialization(java.security.ProtectionDomain.class) @NonNull ProtectionDomain
[exec] required: @Initialized @NonNull ProtectionDomain
[exec] src/java/lang/ClassLoader.java:258: warning: [argument.type.incompatible] incompatible types in argument.
[exec] new ProtectionDomain(new CodeSource(null, (Certificate[]) null),
[exec] ^
[exec] found : null
[exec] required: @Initialized @NonNull URL
[exec] src/java/lang/ClassLoader.java:258: warning: [argument.type.incompatible] incompatible types in argument.
[exec] new ProtectionDomain(new CodeSource(null, (Certificate[]) null),
[exec] ^
[exec] found : @Initialized @NonNull Certificate @FBCBottom @Nullable []
[exec] required: @Initialized @NonNull Certificate @Initialized @NonNull []
[exec] src/java/lang/ClassLoader.java:259: warning: [argument.type.incompatible] incompatible types in argument.
[exec] null, this, null);
[exec] ^
[exec] found : @UnderInitialization(java.lang.Object.class) @NonNull ClassLoader
[exec] required: @Initialized @Nullable ClassLoader
[exec] src/java/lang/ClassLoader.java:259: warning: [argument.type.incompatible] incompatible types in argument.
[exec] null, this, null);
[exec] ^
[exec] found : null
[exec] required: @Initialized @NonNull Principal @Initialized @NonNull []
[exec] src/java/lang/ClassLoader.java:258: warning: [argument.type.incompatible] incompatible types in argument.
[exec] new ProtectionDomain(new CodeSource(null, (Certificate[]) null),
[exec] ^
[exec] found : null
[exec] required: @Initialized @NonNull URL
[exec] src/java/lang/ClassLoader.java:258: warning: [argument.type.incompatible] incompatible types in argument.
[exec] new ProtectionDomain(new CodeSource(null, (Certificate[]) null),
[exec] ^
[exec] found : @Initialized @NonNull Certificate @FBCBottom @Nullable []
[exec] required: @Initialized @NonNull Certificate @Initialized @NonNull []
[exec] src/java/lang/ClassLoader.java:283: warning: [assignment.type.incompatible] incompatible types in assignment.
[exec] this.parent = parent;
[exec] ^
[exec] found : @Initialized @Nullable ClassLoader
[exec] required: @Initialized @NonNull ClassLoader
[exec] src/java/lang/ClassLoader.java:291: warning: [assignment.type.incompatible] incompatible types in assignment.
[exec] parallelLockMap = null;
[exec] ^
[exec] found : null
[exec] required: @Initialized @NonNull ConcurrentHashMap<@Initialized @NonNull String, @Initialized @NonNull Object>
[exec] src/java/lang/ClassLoader.java:294: warning: [assignment.type.incompatible] incompatible types in assignment.
[exec] assertionLock = this;
[exec] ^
[exec] found : @UnderInitialization(java.lang.ClassLoader.class) @NonNull ClassLoader
[exec] required: @Initialized @NonNull Object
[exec] src/java/lang/ClassLoader.java:317: warning: [initialization.fields.uninitialized] the constructor does not initialize fields: parent, parallelLockMap, package2certs, domains, assertionLock
[exec] protected ClassLoader(@Nullable ClassLoader parent) {
[exec] ^
[exec] src/java/lang/ClassLoader.java:336: warning: [initialization.fields.uninitialized] the constructor does not initialize fields: parent, parallelLockMap, package2certs, domains, assertionLock
[exec] protected ClassLoader() {
[exec] ^
[exec] src/java/lang/ClassLoader.java:503: warning: [override.return.invalid] @Initialized @Nullable Void run(@Initialized @NonNull <anonymous java.lang.ClassLoader$1> this) in <anonymous java.lang.ClassLoader$1> cannot override @Initialized @NonNull Object run(@Initialized @NonNull PrivilegedAction<@Initialized @NonNull Object> this) in java.security.PrivilegedAction; attempting to use an incompatible return type
[exec] public Void run() {
[exec] ^
[exec] found : @Initialized @Nullable Void
[exec] required: @Initialized @NonNull Object
[exec] src/java/lang/ClassLoader.java:504: warning: [dereference.of.nullable] dereference of possibly-null reference sm
[exec] sm.checkPackageAccess(name.substring(0, i));
[exec] ^
[exec] src/java/lang/ClassLoader.java:667: warning: [argument.type.incompatible] incompatible types in argument.
[exec] if (name != null) checkCerts(name, pd.getCodeSource());
[exec] ^
[exec] found : @Initialized @Nullable CodeSource
[exec] required: @Initialized @NonNull CodeSource
[exec] src/java/lang/ClassLoader.java:679: warning: [return.type.incompatible] incompatible types in return.
[exec] return source;
[exec] ^
[exec] found : @Initialized @Nullable String
[exec] required: @Initialized @NonNull String
[exec] src/java/lang/ClassLoader.java:685: warning: [dereference.of.nullable] dereference of possibly-null reference pd.getCodeSource()
[exec] Certificate certs[] = pd.getCodeSource().getCertificates();
[exec] ^
[exec] src/java/text/MessageFormat.java:916: error: cannot find symbol
[exec] return createAttributedCharacterIterator("");
[exec] ^
[exec] symbol: method createAttributedCharacterIterator(String)
[exec] location: class MessageFormat
[exec] src/java/text/MessageFormat.java:918: error: cannot find symbol
[exec] return createAttributedCharacterIterator(
[exec] ^
[exec] symbol: method createAttributedCharacterIterator(AttributedCharacterIterator @org.checkerframework.checker.nullness.qual.PolyNull [])
[exec] location: class MessageFormat
[exec] src/java/text/MessageFormat.java:1296: error: cannot find symbol
[exec] createAttributedCharacterIterator(result.substring
[exec] ^
[exec] symbol: method createAttributedCharacterIterator(String)
[exec] location: class MessageFormat
[exec] src/java/text/MessageFormat.java:1307: error: cannot find symbol
[exec] createAttributedCharacterIterator(
[exec] ^
[exec] symbol: method createAttributedCharacterIterator(AttributedCharacterIterator,Field,Integer)
[exec] location: class MessageFormat
[exec] src/java/text/MessageFormat.java:1317: error: cannot find symbol
[exec] createAttributedCharacterIterator(
[exec] ^
[exec] symbol: method createAttributedCharacterIterator(String,Field,Integer)
[exec] location: class MessageFormat
[exec] src/java/text/MessageFormat.java:1340: error: cannot find symbol
[exec] characterIterators.add(createAttributedCharacterIterator(
[exec] ^
[exec] symbol: method createAttributedCharacterIterator(String)
[exec] location: class MessageFormat
[exec] Note: src/java/util/jar/JarFile.java uses unchecked or unsafe operations.
[exec] Note: Recompile with -Xlint:unchecked for details.
[exec] 6 errors
[exec] 100 warnings
[exec] make[1]: *** [classes] Error 1
[exec] make: *** [nullness.classes] Error 2

BUILD FAILED
<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/build.xml>:1308: exec returned: 2

Total time: 2 minutes 2 seconds

zab...@gmail.com

unread,
Jan 9, 2016, 9:29:25 PM1/9/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/207/>

------------------------------------------
[...truncated 438 lines...]
Total time: 1 minute 52 seconds

zab...@gmail.com

unread,
Jan 9, 2016, 9:31:32 PM1/9/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/208/>
Total time: 2 minutes 2 seconds

zab...@gmail.com

unread,
Jan 9, 2016, 11:15:11 PM1/9/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/209/changes>

Changes:

[Werner Dietl] Fix up location of javac.jar (now multiple files). Fix jtreg download

[Werner Dietl] Adapt JDK 9 javac version string.

[Werner Dietl] Minimize JDK 9 changes.

------------------------------------------
Started by upstream project "jdk9-annotation-tools" build number 13
originally caused by:
Started by upstream project "jdk9-jsr308-langtools" build number 15
originally caused by:
Started by user Werner Dietl
Building in workspace <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/>
> /www/secs-jenkins/tools/git-2.4.5/git rev-parse --is-inside-work-tree # timeout=10
Fetching changes from the remote Git repository
> /www/secs-jenkins/tools/git-2.4.5/git config remote.origin.url https://github.com/eisop/checker-framework/ # timeout=10
Fetching upstream changes from https://github.com/eisop/checker-framework/
> /www/secs-jenkins/tools/git-2.4.5/git --version # timeout=10
> /www/secs-jenkins/tools/git-2.4.5/git -c core.askpass=true fetch --tags --progress https://github.com/eisop/checker-framework/ +refs/heads/*:refs/remotes/origin/*
> /www/secs-jenkins/tools/git-2.4.5/git rev-parse refs/remotes/origin/master^{commit} # timeout=10
> /www/secs-jenkins/tools/git-2.4.5/git rev-parse refs/remotes/origin/origin/master^{commit} # timeout=10
Multiple candidate revisions
Scheduling another build to catch up with jdk9-checker-framework
Checking out Revision f31e78be62969405b0453c44d6288a3a3205b3e6 (refs/remotes/origin/master)
> /www/secs-jenkins/tools/git-2.4.5/git config core.sparsecheckout # timeout=10
> /www/secs-jenkins/tools/git-2.4.5/git checkout -f f31e78be62969405b0453c44d6288a3a3205b3e6
> /www/secs-jenkins/tools/git-2.4.5/git rev-list f8d302d8f82cea02ea98d0c04a9107707ec3a1ee # timeout=10
[workspace] $ /bin/sh -xe /tmp/hudson2361673832104133957.sh
+ chmod +x <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/../../jdk9-jsr308-langtools/lastSuccessful/archive/dist/bin/javac> <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/../../jdk9-jsr308-langtools/lastSuccessful/archive/dist/bin/javadoc> <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/../../jdk9-jsr308-langtools/lastSuccessful/archive/dist/bin/javah> <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/../../jdk9-jsr308-langtools/lastSuccessful/archive/dist/bin/javap> <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/../../jdk9-jsr308-langtools/lastSuccessful/archive/dist/bin/jshell> <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/../../jdk9-jsr308-langtools/lastSuccessful/archive/dist/bin/sjavac>
+ chmod +x <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/../../jdk9-annotation-tools/lastSuccessful/archive/annotation-file-utilities/scripts/extract-annotations> <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/../../jdk9-annotation-tools/lastSuccessful/archive/annotation-file-utilities/scripts/extract-annotations.bat> <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/../../jdk9-annotation-tools/lastSuccessful/archive/annotation-file-utilities/scripts/insert-annotations> <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/../../jdk9-annotation-tools/lastSuccessful/archive/annotation-file-utilities/scripts/insert-annotations.bat> <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/../../jdk9-annotation-tools/lastSuccessful/archive/annotation-file-utilities/scripts/insert-annotations-to-source> <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/../../jdk9-annotation-tools/lastSuccessful/archive/annotation-file-utilities/scripts/insert-annotations-to-source.bat> <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/../../jdk9-annotation-tools/lastSuccessful/archive/annotation-file-utilities/scripts/merge-annotations>
[checker] $ /www/secs-jenkins/jenkins-home/tools/hudson.tasks.Ant_AntInstallation/Ant/bin/ant -file build.xml -Dannotation.tools=<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/../../jdk9-annotation-tools/lastSuccessful/archive> -Djsr308.langtools=<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/../../jdk9-jsr308-langtools/lastSuccessful/archive> dist javadoc
Buildfile: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/build.xml>

-prep-dist:

prep-all:

BUILD FAILED
<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/build-common.xml>:90: Needed version 'javac 1.8.0-jsr308-1.9.10' of the JSR 308 compiler, but found version 'javac 1.9.0-jsr308-1.9.10' on your classpath.

Check that the 'javac.lib' property in 'build-common.properties' points to version 1.9.10 of the 'javac.jar' library.

Total time: 0 seconds

zab...@gmail.com

unread,
Jan 9, 2016, 11:15:15 PM1/9/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/210/>

------------------------------------------
Started by an SCM change
Building in workspace <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/>
> /www/secs-jenkins/tools/git-2.4.5/git rev-parse --is-inside-work-tree # timeout=10
Fetching changes from the remote Git repository
> /www/secs-jenkins/tools/git-2.4.5/git config remote.origin.url https://github.com/eisop/checker-framework/ # timeout=10
Fetching upstream changes from https://github.com/eisop/checker-framework/
> /www/secs-jenkins/tools/git-2.4.5/git --version # timeout=10
> /www/secs-jenkins/tools/git-2.4.5/git -c core.askpass=true fetch --tags --progress https://github.com/eisop/checker-framework/ +refs/heads/*:refs/remotes/origin/*
> /www/secs-jenkins/tools/git-2.4.5/git rev-parse refs/remotes/origin/master^{commit} # timeout=10
> /www/secs-jenkins/tools/git-2.4.5/git rev-parse refs/remotes/origin/origin/master^{commit} # timeout=10
Multiple candidate revisions
Scheduling another build to catch up with jdk9-checker-framework
Checking out Revision f31e78be62969405b0453c44d6288a3a3205b3e6 (refs/remotes/origin/master)
> /www/secs-jenkins/tools/git-2.4.5/git config core.sparsecheckout # timeout=10
> /www/secs-jenkins/tools/git-2.4.5/git checkout -f f31e78be62969405b0453c44d6288a3a3205b3e6
> /www/secs-jenkins/tools/git-2.4.5/git rev-list f31e78be62969405b0453c44d6288a3a3205b3e6 # timeout=10
[workspace] $ /bin/sh -xe /tmp/hudson8098033264450191027.sh

zab...@gmail.com

unread,
Jan 9, 2016, 11:15:18 PM1/9/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/211/>

------------------------------------------
Started by an SCM change
Building in workspace <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/>
> /www/secs-jenkins/tools/git-2.4.5/git rev-parse --is-inside-work-tree # timeout=10
Fetching changes from the remote Git repository
> /www/secs-jenkins/tools/git-2.4.5/git config remote.origin.url https://github.com/eisop/checker-framework/ # timeout=10
Fetching upstream changes from https://github.com/eisop/checker-framework/
> /www/secs-jenkins/tools/git-2.4.5/git --version # timeout=10
> /www/secs-jenkins/tools/git-2.4.5/git -c core.askpass=true fetch --tags --progress https://github.com/eisop/checker-framework/ +refs/heads/*:refs/remotes/origin/*
> /www/secs-jenkins/tools/git-2.4.5/git rev-parse refs/remotes/origin/master^{commit} # timeout=10
> /www/secs-jenkins/tools/git-2.4.5/git rev-parse refs/remotes/origin/origin/master^{commit} # timeout=10
Multiple candidate revisions
Scheduling another build to catch up with jdk9-checker-framework
Checking out Revision f31e78be62969405b0453c44d6288a3a3205b3e6 (refs/remotes/origin/master)
> /www/secs-jenkins/tools/git-2.4.5/git config core.sparsecheckout # timeout=10
> /www/secs-jenkins/tools/git-2.4.5/git checkout -f f31e78be62969405b0453c44d6288a3a3205b3e6
> /www/secs-jenkins/tools/git-2.4.5/git rev-list f31e78be62969405b0453c44d6288a3a3205b3e6 # timeout=10
[workspace] $ /bin/sh -xe /tmp/hudson7191610235290195066.sh

zab...@gmail.com

unread,
Jan 9, 2016, 11:15:22 PM1/9/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/212/>

------------------------------------------
Started by an SCM change
Building in workspace <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/>
> /www/secs-jenkins/tools/git-2.4.5/git rev-parse --is-inside-work-tree # timeout=10
Fetching changes from the remote Git repository
> /www/secs-jenkins/tools/git-2.4.5/git config remote.origin.url https://github.com/eisop/checker-framework/ # timeout=10
Fetching upstream changes from https://github.com/eisop/checker-framework/
> /www/secs-jenkins/tools/git-2.4.5/git --version # timeout=10
> /www/secs-jenkins/tools/git-2.4.5/git -c core.askpass=true fetch --tags --progress https://github.com/eisop/checker-framework/ +refs/heads/*:refs/remotes/origin/*
> /www/secs-jenkins/tools/git-2.4.5/git rev-parse refs/remotes/origin/master^{commit} # timeout=10
> /www/secs-jenkins/tools/git-2.4.5/git rev-parse refs/remotes/origin/origin/master^{commit} # timeout=10
Multiple candidate revisions
Scheduling another build to catch up with jdk9-checker-framework
Checking out Revision f31e78be62969405b0453c44d6288a3a3205b3e6 (refs/remotes/origin/master)
> /www/secs-jenkins/tools/git-2.4.5/git config core.sparsecheckout # timeout=10
> /www/secs-jenkins/tools/git-2.4.5/git checkout -f f31e78be62969405b0453c44d6288a3a3205b3e6
> /www/secs-jenkins/tools/git-2.4.5/git rev-list f31e78be62969405b0453c44d6288a3a3205b3e6 # timeout=10
[workspace] $ /bin/sh -xe /tmp/hudson325910419221920776.sh

zab...@gmail.com

unread,
Jan 9, 2016, 11:15:25 PM1/9/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/213/>

------------------------------------------
Started by an SCM change
Building in workspace <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/>
> /www/secs-jenkins/tools/git-2.4.5/git rev-parse --is-inside-work-tree # timeout=10
Fetching changes from the remote Git repository
> /www/secs-jenkins/tools/git-2.4.5/git config remote.origin.url https://github.com/eisop/checker-framework/ # timeout=10
Fetching upstream changes from https://github.com/eisop/checker-framework/
> /www/secs-jenkins/tools/git-2.4.5/git --version # timeout=10
> /www/secs-jenkins/tools/git-2.4.5/git -c core.askpass=true fetch --tags --progress https://github.com/eisop/checker-framework/ +refs/heads/*:refs/remotes/origin/*
> /www/secs-jenkins/tools/git-2.4.5/git rev-parse refs/remotes/origin/master^{commit} # timeout=10
> /www/secs-jenkins/tools/git-2.4.5/git rev-parse refs/remotes/origin/origin/master^{commit} # timeout=10
Multiple candidate revisions
Scheduling another build to catch up with jdk9-checker-framework
Checking out Revision f31e78be62969405b0453c44d6288a3a3205b3e6 (refs/remotes/origin/master)
> /www/secs-jenkins/tools/git-2.4.5/git config core.sparsecheckout # timeout=10
> /www/secs-jenkins/tools/git-2.4.5/git checkout -f f31e78be62969405b0453c44d6288a3a3205b3e6
> /www/secs-jenkins/tools/git-2.4.5/git rev-list f31e78be62969405b0453c44d6288a3a3205b3e6 # timeout=10
[workspace] $ /bin/sh -xe /tmp/hudson5596962540037782251.sh

zab...@gmail.com

unread,
Jan 9, 2016, 11:15:29 PM1/9/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/214/>

------------------------------------------
Started by an SCM change
Building in workspace <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/>
> /www/secs-jenkins/tools/git-2.4.5/git rev-parse --is-inside-work-tree # timeout=10
Fetching changes from the remote Git repository
> /www/secs-jenkins/tools/git-2.4.5/git config remote.origin.url https://github.com/eisop/checker-framework/ # timeout=10
Fetching upstream changes from https://github.com/eisop/checker-framework/
> /www/secs-jenkins/tools/git-2.4.5/git --version # timeout=10
> /www/secs-jenkins/tools/git-2.4.5/git -c core.askpass=true fetch --tags --progress https://github.com/eisop/checker-framework/ +refs/heads/*:refs/remotes/origin/*
> /www/secs-jenkins/tools/git-2.4.5/git rev-parse refs/remotes/origin/master^{commit} # timeout=10
> /www/secs-jenkins/tools/git-2.4.5/git rev-parse refs/remotes/origin/origin/master^{commit} # timeout=10
Multiple candidate revisions
Scheduling another build to catch up with jdk9-checker-framework
Checking out Revision f31e78be62969405b0453c44d6288a3a3205b3e6 (refs/remotes/origin/master)
> /www/secs-jenkins/tools/git-2.4.5/git config core.sparsecheckout # timeout=10
> /www/secs-jenkins/tools/git-2.4.5/git checkout -f f31e78be62969405b0453c44d6288a3a3205b3e6
> /www/secs-jenkins/tools/git-2.4.5/git rev-list f31e78be62969405b0453c44d6288a3a3205b3e6 # timeout=10
[workspace] $ /bin/sh -xe /tmp/hudson337002159334185627.sh

zab...@gmail.com

unread,
Jan 9, 2016, 11:15:33 PM1/9/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/215/>

------------------------------------------
Started by an SCM change
Building in workspace <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/>
> /www/secs-jenkins/tools/git-2.4.5/git rev-parse --is-inside-work-tree # timeout=10
Fetching changes from the remote Git repository
> /www/secs-jenkins/tools/git-2.4.5/git config remote.origin.url https://github.com/eisop/checker-framework/ # timeout=10
Fetching upstream changes from https://github.com/eisop/checker-framework/
> /www/secs-jenkins/tools/git-2.4.5/git --version # timeout=10
> /www/secs-jenkins/tools/git-2.4.5/git -c core.askpass=true fetch --tags --progress https://github.com/eisop/checker-framework/ +refs/heads/*:refs/remotes/origin/*
> /www/secs-jenkins/tools/git-2.4.5/git rev-parse refs/remotes/origin/master^{commit} # timeout=10
> /www/secs-jenkins/tools/git-2.4.5/git rev-parse refs/remotes/origin/origin/master^{commit} # timeout=10
Multiple candidate revisions
Scheduling another build to catch up with jdk9-checker-framework
Checking out Revision f31e78be62969405b0453c44d6288a3a3205b3e6 (refs/remotes/origin/master)
> /www/secs-jenkins/tools/git-2.4.5/git config core.sparsecheckout # timeout=10
> /www/secs-jenkins/tools/git-2.4.5/git checkout -f f31e78be62969405b0453c44d6288a3a3205b3e6
> /www/secs-jenkins/tools/git-2.4.5/git rev-list f31e78be62969405b0453c44d6288a3a3205b3e6 # timeout=10
[workspace] $ /bin/sh -xe /tmp/hudson3401834393930860184.sh

zab...@gmail.com

unread,
Jan 9, 2016, 11:17:01 PM1/9/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/216/changes>

Changes:

[Werner Dietl] Update expected jsr308-langtools version output.
Total time: 1 minute 24 seconds

zab...@gmail.com

unread,
Jan 9, 2016, 11:18:29 PM1/9/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/217/>
Total time: 1 minute 25 seconds

zab...@gmail.com

unread,
Jan 9, 2016, 11:20:00 PM1/9/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/218/>
Total time: 1 minute 27 seconds

zab...@gmail.com

unread,
Jan 9, 2016, 11:21:27 PM1/9/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/219/>
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk/nullness'>
[exec] protected ClassLoader() {make: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] ^
[exec]
Total time: 1 minute 24 seconds

zab...@gmail.com

unread,
Jan 9, 2016, 11:30:09 PM1/9/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/220/>

------------------------------------------
[...truncated 7572 lines...]
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] make jdk.jar
[exec] make[1]: Entering directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] cd annotated; jar cf ../jdk.jar .
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] make: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[move] Moving 1 file to <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk>

jdk.jar.exists:

dist-nobuildjdk:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/220/artifact/checker/dist/javac.jar>
[copy] Warning: Could not find file <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk/jdk7.jar> to copy.
[copy] Warning: Could not find file <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk/jdk8.jar> to copy.
[copy] Copying 1 file to <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/220/artifact/checker/dist>

dist:

prep-all:

prep:

-prep-framework-compile:

-prep-dist:

prep-all:

prep:

-prep-stubparser-compile:

prep-all:

prep:

build:

dist:

-prep-javacutil-compile:

prep-all:

prep:

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-08-21-28-2435/checker/srcfiles-javacutil.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/dist/javacutil.jar>

-prep-dataflow-compile:

prep-all:

prep:

-prep-javacutil-compile:

prep-all:

prep:

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-08-21-28-2435/checker/srcfiles-javacutil.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/dist/javacutil.jar>

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-08-21-28-2435/checker/srcfiles-dataflow.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/dist/dataflow.jar>

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-08-21-28-2435/checker/srcfiles-framework.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/framework/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/framework/build/.timestamp>

jar:
[unjar] Expanding: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/stubparser/dist/stubparser.jar> into <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/framework/build>
[unjar] Expanding: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/dist/javacutil.jar> into <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/framework/build>
[unjar] Expanding: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/dist/dataflow.jar> into <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/framework/build>
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/framework/dist/framework.jar>

dist:

prep-ManualTaglet:
[java] javac 1.9.0-jsr308-1.9.10
BUILD FAILED
<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/build.xml>:356: Javadoc returned 1

Total time: 8 minutes 39 seconds

zab...@gmail.com

unread,
Jan 9, 2016, 11:38:59 PM1/9/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/221/>

------------------------------------------
[...truncated 7564 lines...]
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] make jdk.jar
[exec] make[1]: Entering directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] cd annotated; jar cf ../jdk.jar .
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] make: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[move] Moving 1 file to <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk>

jdk.jar.exists:

dist-nobuildjdk:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/221/artifact/checker/dist/javac.jar>
[copy] Warning: Could not find file <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk/jdk7.jar> to copy.
[copy] Warning: Could not find file <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk/jdk8.jar> to copy.
[copy] Copying 1 file to <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/221/artifact/checker/dist>

dist:

prep-all:

prep:

-prep-framework-compile:

-prep-dist:

prep-all:

prep:

-prep-stubparser-compile:

prep-all:

prep:

build:

dist:

-prep-javacutil-compile:

prep-all:

prep:

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-08-30-10-9145/checker/srcfiles-javacutil.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/dist/javacutil.jar>

-prep-dataflow-compile:

prep-all:

prep:

-prep-javacutil-compile:

prep-all:

prep:

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-08-30-10-9145/checker/srcfiles-javacutil.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/dist/javacutil.jar>

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-08-30-10-9145/checker/srcfiles-dataflow.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/dist/dataflow.jar>

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-08-30-10-9145/checker/srcfiles-framework.txt
[javadoc] com.sun.tools.javac.util.FatalError: Fatal Error: Unable to find package java.lang in classpath or bootclasspath
[javadoc] at com.sun.tools.javac.comp.TypeEnter$ImportsPhase.resolveImports(TypeEnter.java:335)
[javadoc] at com.sun.tools.javac.comp.TypeEnter$ImportsPhase.runPhase(TypeEnter.java:302)
[javadoc] at com.sun.tools.javac.comp.TypeEnter$Phase.doCompleteEnvs(TypeEnter.java:264)
[javadoc] at com.sun.tools.javac.comp.TypeEnter$Phase.completeEnvs(TypeEnter.java:242)
[javadoc] at com.sun.tools.javac.comp.TypeEnter.complete(TypeEnter.java:196)
[javadoc] at com.sun.tools.javac.code.Symbol.complete(Symbol.java:590)
[javadoc] at com.sun.tools.javac.code.Symbol$ClassSymbol.complete(Symbol.java:1085)
[javadoc] at com.sun.tools.javac.comp.Enter.complete(Enter.java:490)
[javadoc] at com.sun.tools.javac.comp.Enter.main(Enter.java:467)
[javadoc] at com.sun.tools.javadoc.JavadocEnter.main(JavadocEnter.java:80)
[javadoc] at com.sun.tools.javadoc.JavadocTool.getRootDocImpl(JavadocTool.java:216)
[javadoc] at com.sun.tools.javadoc.Start.parseAndExecute(Start.java:412)
[javadoc] at com.sun.tools.javadoc.Start.begin(Start.java:230)
[javadoc] at com.sun.tools.javadoc.Start.begin(Start.java:216)
[javadoc] at com.sun.tools.javadoc.Main.execute(Main.java:64)
[javadoc] at com.sun.tools.javadoc.Main.main(Main.java:54)
[javadoc] javadoc: error - fatal error
[javadoc] 1 error

BUILD FAILED
<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/build.xml>:356: Javadoc returned 1

Total time: 8 minutes 46 seconds

zab...@gmail.com

unread,
Jan 9, 2016, 11:47:46 PM1/9/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/222/>

------------------------------------------
[...truncated 7564 lines...]
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] make jdk.jar
[exec] make[1]: Entering directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] cd annotated; jar cf ../jdk.jar .
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] make: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[move] Moving 1 file to <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk>

jdk.jar.exists:

dist-nobuildjdk:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/222/artifact/checker/dist/javac.jar>
[copy] Warning: Could not find file <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk/jdk7.jar> to copy.
[copy] Warning: Could not find file <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk/jdk8.jar> to copy.
[copy] Copying 1 file to <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/222/artifact/checker/dist>

dist:

prep-all:

prep:

-prep-framework-compile:

-prep-dist:

prep-all:

prep:

-prep-stubparser-compile:

prep-all:

prep:

build:

dist:

-prep-javacutil-compile:

prep-all:

prep:

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-08-39-00-6955/checker/srcfiles-javacutil.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/dist/javacutil.jar>

-prep-dataflow-compile:

prep-all:

prep:

-prep-javacutil-compile:

prep-all:

prep:

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-08-39-00-6955/checker/srcfiles-javacutil.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/dist/javacutil.jar>

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-08-39-00-6955/checker/srcfiles-dataflow.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/dist/dataflow.jar>

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-08-39-00-6955/checker/srcfiles-framework.txt
[javadoc] 1 error
[javadoc] com.sun.tools.javac.util.FatalError: Fatal Error: Unable to find package java.lang in classpath or bootclasspath
[javadoc] at com.sun.tools.javac.comp.TypeEnter$ImportsPhase.resolveImports(TypeEnter.java:335)
[javadoc] at com.sun.tools.javac.comp.TypeEnter$ImportsPhase.runPhase(TypeEnter.java:302)
[javadoc] at com.sun.tools.javac.comp.TypeEnter$Phase.doCompleteEnvs(TypeEnter.java:264)
[javadoc] at com.sun.tools.javac.comp.TypeEnter$Phase.completeEnvs(TypeEnter.java:242)
[javadoc] at com.sun.tools.javac.comp.TypeEnter.complete(TypeEnter.java:196)
[javadoc] at com.sun.tools.javac.code.Symbol.complete(Symbol.java:590)
[javadoc] at com.sun.tools.javac.code.Symbol$ClassSymbol.complete(Symbol.java:1085)
[javadoc] at com.sun.tools.javac.comp.Enter.complete(Enter.java:490)
[javadoc] at com.sun.tools.javac.comp.Enter.main(Enter.java:467)
[javadoc] at com.sun.tools.javadoc.JavadocEnter.main(JavadocEnter.java:80)
[javadoc] at com.sun.tools.javadoc.JavadocTool.getRootDocImpl(JavadocTool.java:216)
[javadoc] at com.sun.tools.javadoc.Start.parseAndExecute(Start.java:412)
[javadoc] at com.sun.tools.javadoc.Start.begin(Start.java:230)
[javadoc] at com.sun.tools.javadoc.Start.begin(Start.java:216)
[javadoc] at com.sun.tools.javadoc.Main.execute(Main.java:64)
[javadoc] at com.sun.tools.javadoc.Main.main(Main.java:54)
[javadoc] javadoc: error - fatal error

BUILD FAILED
<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/build.xml>:356: Javadoc returned 1

Total time: 8 minutes 43 seconds

zab...@gmail.com

unread,
Jan 9, 2016, 11:56:27 PM1/9/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/223/>

------------------------------------------
[...truncated 7564 lines...]
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] make jdk.jar
[exec] make[1]: Entering directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] cd annotated; jar cf ../jdk.jar .
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] make: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[move] Moving 1 file to <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk>

jdk.jar.exists:

dist-nobuildjdk:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/223/artifact/checker/dist/javac.jar>
[copy] Warning: Could not find file <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk/jdk7.jar> to copy.
[copy] Warning: Could not find file <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk/jdk8.jar> to copy.
[copy] Copying 1 file to <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/223/artifact/checker/dist>

dist:

prep-all:

prep:

-prep-framework-compile:

-prep-dist:

prep-all:

prep:

-prep-stubparser-compile:

prep-all:

prep:

build:

dist:

-prep-javacutil-compile:

prep-all:

prep:

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-08-47-47-1045/checker/srcfiles-javacutil.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/dist/javacutil.jar>

-prep-dataflow-compile:

prep-all:

prep:

-prep-javacutil-compile:

prep-all:

prep:

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-08-47-47-1045/checker/srcfiles-javacutil.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/dist/javacutil.jar>

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-08-47-47-1045/checker/srcfiles-dataflow.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/dist/dataflow.jar>

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-08-47-47-1045/checker/srcfiles-framework.txt
[javadoc] com.sun.tools.javac.util.FatalError: Fatal Error: Unable to find package java.lang in classpath or bootclasspath
[javadoc] at com.sun.tools.javac.comp.TypeEnter$ImportsPhase.resolveImports(TypeEnter.java:335)
[javadoc] at com.sun.tools.javac.comp.TypeEnter$ImportsPhase.runPhase(TypeEnter.java:302)
[javadoc] at com.sun.tools.javac.comp.TypeEnter$Phase.doCompleteEnvs(TypeEnter.java:264)
[javadoc] at com.sun.tools.javac.comp.TypeEnter$Phase.completeEnvs(TypeEnter.java:242)
[javadoc] at com.sun.tools.javac.comp.TypeEnter.complete(TypeEnter.java:196)
[javadoc] at com.sun.tools.javac.code.Symbol.complete(Symbol.java:590)
[javadoc] at com.sun.tools.javac.code.Symbol$ClassSymbol.complete(Symbol.java:1085)
[javadoc] at com.sun.tools.javac.comp.Enter.complete(Enter.java:490)
[javadoc] at com.sun.tools.javac.comp.Enter.main(Enter.java:467)
[javadoc] at com.sun.tools.javadoc.JavadocEnter.main(JavadocEnter.java:80)
[javadoc] at com.sun.tools.javadoc.JavadocTool.getRootDocImpl(JavadocTool.java:216)
[javadoc] at com.sun.tools.javadoc.Start.parseAndExecute(Start.java:412)
[javadoc] at com.sun.tools.javadoc.Start.begin(Start.java:230)
[javadoc] at com.sun.tools.javadoc.Start.begin(Start.java:216)
[javadoc] at com.sun.tools.javadoc.Main.execute(Main.java:64)
[javadoc] at com.sun.tools.javadoc.Main.main(Main.java:54)
[javadoc] javadoc: error - fatal error
[javadoc] 1 error

BUILD FAILED
<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/build.xml>:356: Javadoc returned 1

Total time: 8 minutes 37 seconds

zab...@gmail.com

unread,
Jan 10, 2016, 12:05:11 AM1/10/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/224/>

------------------------------------------
[...truncated 7564 lines...]
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] make jdk.jar
[exec] make[1]: Entering directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] cd annotated; jar cf ../jdk.jar .
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] make: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[move] Moving 1 file to <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk>

jdk.jar.exists:

dist-nobuildjdk:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/224/artifact/checker/dist/javac.jar>
[copy] Warning: Could not find file <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk/jdk7.jar> to copy.
[copy] Warning: Could not find file <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk/jdk8.jar> to copy.
[copy] Copying 1 file to <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/224/artifact/checker/dist>

dist:

prep-all:

prep:

-prep-framework-compile:

-prep-dist:

prep-all:

prep:

-prep-stubparser-compile:

prep-all:

prep:

build:

dist:

-prep-javacutil-compile:

prep-all:

prep:

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-08-56-27-9395/checker/srcfiles-javacutil.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/dist/javacutil.jar>

-prep-dataflow-compile:

prep-all:

prep:

-prep-javacutil-compile:

prep-all:

prep:

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-08-56-27-9395/checker/srcfiles-javacutil.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/dist/javacutil.jar>

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-08-56-27-9395/checker/srcfiles-dataflow.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/dist/dataflow.jar>

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-08-56-27-9395/checker/srcfiles-framework.txt
Total time: 8 minutes 41 seconds

zab...@gmail.com

unread,
Jan 10, 2016, 12:13:59 AM1/10/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/225/>

------------------------------------------
[...truncated 7564 lines...]
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] make jdk.jar
[exec] make[1]: Entering directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] cd annotated; jar cf ../jdk.jar .
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] make: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[move] Moving 1 file to <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk>

jdk.jar.exists:

dist-nobuildjdk:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/225/artifact/checker/dist/javac.jar>
[copy] Warning: Could not find file <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk/jdk7.jar> to copy.
[copy] Warning: Could not find file <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk/jdk8.jar> to copy.
[copy] Copying 1 file to <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/225/artifact/checker/dist>

dist:

prep-all:

prep:

-prep-framework-compile:

-prep-dist:

prep-all:

prep:

-prep-stubparser-compile:

prep-all:

prep:

build:

dist:

-prep-javacutil-compile:

prep-all:

prep:

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-09-05-12-5525/checker/srcfiles-javacutil.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/dist/javacutil.jar>

-prep-dataflow-compile:

prep-all:

prep:

-prep-javacutil-compile:

prep-all:

prep:

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-09-05-12-5525/checker/srcfiles-javacutil.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/dist/javacutil.jar>

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-09-05-12-5525/checker/srcfiles-dataflow.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/dist/dataflow.jar>

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-09-05-12-5525/checker/srcfiles-framework.txt
Total time: 8 minutes 44 seconds

zab...@gmail.com

unread,
Jan 10, 2016, 12:22:40 AM1/10/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/226/>

------------------------------------------
[...truncated 7564 lines...]
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] make jdk.jar
[exec] make[1]: Entering directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] cd annotated; jar cf ../jdk.jar .
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] make: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[move] Moving 1 file to <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk>

jdk.jar.exists:

dist-nobuildjdk:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/226/artifact/checker/dist/javac.jar>
[copy] Warning: Could not find file <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk/jdk7.jar> to copy.
[copy] Warning: Could not find file <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk/jdk8.jar> to copy.
[copy] Copying 1 file to <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/226/artifact/checker/dist>

dist:

prep-all:

prep:

-prep-framework-compile:

-prep-dist:

prep-all:

prep:

-prep-stubparser-compile:

prep-all:

prep:

build:

dist:

-prep-javacutil-compile:

prep-all:

prep:

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-09-14-00-6065/checker/srcfiles-javacutil.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/dist/javacutil.jar>

-prep-dataflow-compile:

prep-all:

prep:

-prep-javacutil-compile:

prep-all:

prep:

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-09-14-00-6065/checker/srcfiles-javacutil.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/dist/javacutil.jar>

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-09-14-00-6065/checker/srcfiles-dataflow.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/dist/dataflow.jar>

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-09-14-00-6065/checker/srcfiles-framework.txt
[javadoc] 1 error
[javadoc] com.sun.tools.javac.util.FatalError: Fatal Error: Unable to find package java.lang in classpath or bootclasspath
[javadoc] at com.sun.tools.javac.comp.TypeEnter$ImportsPhase.resolveImports(TypeEnter.java:335)
[javadoc] at com.sun.tools.javac.comp.TypeEnter$ImportsPhase.runPhase(TypeEnter.java:302)
[javadoc] at com.sun.tools.javac.comp.TypeEnter$Phase.doCompleteEnvs(TypeEnter.java:264)
[javadoc] at com.sun.tools.javac.comp.TypeEnter$Phase.completeEnvs(TypeEnter.java:242)
[javadoc] at com.sun.tools.javac.comp.TypeEnter.complete(TypeEnter.java:196)
[javadoc] at com.sun.tools.javac.code.Symbol.complete(Symbol.java:590)
[javadoc] at com.sun.tools.javac.code.Symbol$ClassSymbol.complete(Symbol.java:1085)
[javadoc] at com.sun.tools.javac.comp.Enter.complete(Enter.java:490)
[javadoc] at com.sun.tools.javac.comp.Enter.main(Enter.java:467)
[javadoc] at com.sun.tools.javadoc.JavadocEnter.main(JavadocEnter.java:80)
[javadoc] at com.sun.tools.javadoc.JavadocTool.getRootDocImpl(JavadocTool.java:216)
[javadoc] at com.sun.tools.javadoc.Start.parseAndExecute(Start.java:412)
[javadoc] at com.sun.tools.javadoc.Start.begin(Start.java:230)
[javadoc] at com.sun.tools.javadoc.Start.begin(Start.java:216)
[javadoc] at com.sun.tools.javadoc.Main.execute(Main.java:64)
[javadoc] at com.sun.tools.javadoc.Main.main(Main.java:54)
[javadoc] javadoc: error - fatal error

BUILD FAILED
<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/build.xml>:356: Javadoc returned 1

Total time: 8 minutes 38 seconds

zab...@gmail.com

unread,
Jan 10, 2016, 12:31:25 AM1/10/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/227/>

------------------------------------------
[...truncated 7564 lines...]
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] make jdk.jar
[exec] make[1]: Entering directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] cd annotated; jar cf ../jdk.jar .
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] make: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[move] Moving 1 file to <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk>

jdk.jar.exists:

dist-nobuildjdk:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/227/artifact/checker/dist/javac.jar>
[copy] Warning: Could not find file <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk/jdk7.jar> to copy.
[copy] Warning: Could not find file <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk/jdk8.jar> to copy.
[copy] Copying 1 file to <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/227/artifact/checker/dist>

dist:

prep-all:

prep:

-prep-framework-compile:

-prep-dist:

prep-all:

prep:

-prep-stubparser-compile:

prep-all:

prep:

build:

dist:

-prep-javacutil-compile:

prep-all:

prep:

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-09-22-41-7595/checker/srcfiles-javacutil.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/dist/javacutil.jar>

-prep-dataflow-compile:

prep-all:

prep:

-prep-javacutil-compile:

prep-all:

prep:

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-09-22-41-7595/checker/srcfiles-javacutil.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/dist/javacutil.jar>

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-09-22-41-7595/checker/srcfiles-dataflow.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/dist/dataflow.jar>

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-09-22-41-7595/checker/srcfiles-framework.txt
[javadoc] com.sun.tools.javac.util.FatalError: Fatal Error: Unable to find package java.lang in classpath or bootclasspath
[javadoc] at com.sun.tools.javac.comp.TypeEnter$ImportsPhase.resolveImports(TypeEnter.java:335)
[javadoc] at com.sun.tools.javac.comp.TypeEnter$ImportsPhase.runPhase(TypeEnter.java:302)
[javadoc] at com.sun.tools.javac.comp.TypeEnter$Phase.doCompleteEnvs(TypeEnter.java:264)
[javadoc] at com.sun.tools.javac.comp.TypeEnter$Phase.completeEnvs(TypeEnter.java:242)
[javadoc] at com.sun.tools.javac.comp.TypeEnter.complete(TypeEnter.java:196)
[javadoc] at com.sun.tools.javac.code.Symbol.complete(Symbol.java:590)
[javadoc] at com.sun.tools.javac.code.Symbol$ClassSymbol.complete(Symbol.java:1085)
[javadoc] at com.sun.tools.javac.comp.Enter.complete(Enter.java:490)
[javadoc] at com.sun.tools.javac.comp.Enter.main(Enter.java:467)
[javadoc] at com.sun.tools.javadoc.JavadocEnter.main(JavadocEnter.java:80)
[javadoc] at com.sun.tools.javadoc.JavadocTool.getRootDocImpl(JavadocTool.java:216)
[javadoc] at com.sun.tools.javadoc.Start.parseAndExecute(Start.java:412)
[javadoc] at com.sun.tools.javadoc.Start.begin(Start.java:230)
[javadoc] at com.sun.tools.javadoc.Start.begin(Start.java:216)
[javadoc] at com.sun.tools.javadoc.Main.execute(Main.java:64)
[javadoc] at com.sun.tools.javadoc.Main.main(Main.java:54)
[javadoc] javadoc: error - fatal error
[javadoc] 1 error

BUILD FAILED
<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/build.xml>:356: Javadoc returned 1

Total time: 8 minutes 41 seconds

zab...@gmail.com

unread,
Jan 10, 2016, 12:40:15 AM1/10/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/228/>

------------------------------------------
[...truncated 7564 lines...]
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] make jdk.jar
[exec] make[1]: Entering directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] cd annotated; jar cf ../jdk.jar .
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] make: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[move] Moving 1 file to <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk>

jdk.jar.exists:

dist-nobuildjdk:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/228/artifact/checker/dist/javac.jar>
[copy] Warning: Could not find file <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk/jdk7.jar> to copy.
[copy] Warning: Could not find file <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk/jdk8.jar> to copy.
[copy] Copying 1 file to <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/228/artifact/checker/dist>

dist:

prep-all:

prep:

-prep-framework-compile:

-prep-dist:

prep-all:

prep:

-prep-stubparser-compile:

prep-all:

prep:

build:

dist:

-prep-javacutil-compile:

prep-all:

prep:

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-09-31-26-6655/checker/srcfiles-javacutil.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/dist/javacutil.jar>

-prep-dataflow-compile:

prep-all:

prep:

-prep-javacutil-compile:

prep-all:

prep:

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-09-31-26-6655/checker/srcfiles-javacutil.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/dist/javacutil.jar>

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-09-31-26-6655/checker/srcfiles-dataflow.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/dist/dataflow.jar>

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-09-31-26-6655/checker/srcfiles-framework.txt
Total time: 8 minutes 47 seconds

zab...@gmail.com

unread,
Jan 10, 2016, 1:07:05 AM1/10/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/229/>

------------------------------------------
[...truncated 8352 lines...]
[exec] added manifest
[exec] adding: lib/Lib.class(in = 282) (out= 212)(deflated 24%)
[exec] <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/229/artifact/checker/bin/javac> -processor org.checkerframework.checker.nullness.NullnessChecker -Anomsgtext Test.java -d bin/ -cp lib.jar > Out.txt 2>&1
[exec] rm: cannot remove `Out.txt': No such file or directory
[exec] rm: cannot remove `Test.class': No such file or directory
[exec] rm: cannot remove `lib/Lib.class': No such file or directory
[exec] rm: cannot remove `javax/annotation/Nullable.class': No such file or directory
[exec] make[1]: [all] Error 1 (ignored)
[exec] diff -u Out.txt Expected.txt
[exec] rm Out.txt lib.jar bin/*.class bin/lib/*.class
[exec] rmdir bin/lib bin/
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/tests/nullness-extra/issue309'>
[exec] make -C compat
[exec] make[1]: Entering directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/tests/nullness-extra/compat'>
[exec] rm Out.txt Test.class lib/Lib.class javax/annotation/Nullable.class
[exec] <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/229/artifact/checker/bin/javac> -processor org.checkerframework.checker.nullness.NullnessChecker lib/Lib.java javax/annotation/Nullable.java Test.java > Out.txt 2>&1
[exec] make[1]: [all] Error 1 (ignored)
[exec] rm: cannot remove `Out.txt': No such file or directory
[exec] make[1]: [nullnessOnly] Error 1 (ignored)
[exec] diff -u Out.txt Expected.txt
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/tests/nullness-extra/compat'>
[exec] make -C shorthand
[exec] make[1]: Entering directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/tests/nullness-extra/shorthand'>
[exec] rm Out.txt
[exec] <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/229/artifact/checker/bin/javac> -processor NullnessChecker -XDrawDiagnostics -Anomsgtext -Awarns -AprintErrorStack NullnessRegexWithErrors.java > Out.txt 2>&1
[exec] diff -u Out.txt NullnessOnlyExpected.txt
[exec] rm Out.txt
[exec] <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/229/artifact/checker/bin/javac> -processor NullnessChecker,RegexChecker -XDrawDiagnostics -Anomsgtext -Awarns -AprintErrorStack NullnessRegexWithErrors.java > Out.txt 2>&1
[exec] diff -u Out.txt NullnessRegexExpected.txt
[exec] rm Out.txt
[exec] <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/229/artifact/checker/bin/javac> -processor nullness.NullnessChecker -XDrawDiagnostics -Anomsgtext -Awarns -AprintErrorStack NullnessRegexWithErrors.java > Out.txt 2>&1
[exec] make[1]: [nullnessBad] Error 1 (ignored)
[exec] diff -u Out.txt NullnessBadExpected.txt
[exec] rm Out.txt
[exec] <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/229/artifact/checker/bin/javac> -processor NonsenseChecker -XDrawDiagnostics -Anomsgtext -Awarns -AprintErrorStack NullnessRegexWithErrors.java > Out.txt 2>&1
[exec] make[1]: [nonsense] Error 1 (ignored)
[exec] rm: cannot remove `Issue502.class': No such file or directory
[exec] rm: cannot remove `Out.txt': No such file or directory
[exec] make[1]: [clean] Error 1 (ignored)
[exec] diff -u Out.txt NonsenseExpected.txt
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/tests/nullness-extra/shorthand'>
[exec] make -C issue502
[exec] make[1]: Entering directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/tests/nullness-extra/issue502'>
[exec] rm Issue502.class Out.txt
[exec] <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/229/artifact/checker/bin/javac> -processor org.checkerframework.checker.nullness.NullnessChecker Issue502.java
[exec] <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/../../jdk9-jsr308-langtools/lastSuccessful/archive/dist/bin/javap> -v Issue502 | grep "RuntimeVisibleAnnotations:" -A 2 > Out.txt 2>&1
[exec] diff -u Out.txt Expected.txt
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/tests/nullness-extra/issue502'>
[exec] make: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/tests/nullness-extra'>

-prep-dist:

prep-all:

prep:

-prep-framework-compile:

-prep-dist:

prep-all:

prep:

-prep-stubparser-compile:

prep-all:

prep:

build:

dist:

-prep-javacutil-compile:

prep-all:

prep:

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-09-56-17-5855/checker/srcfiles-javacutil.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/dist/javacutil.jar>

-prep-dataflow-compile:

prep-all:

prep:

-prep-javacutil-compile:

prep-all:

prep:

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-09-56-17-5855/checker/srcfiles-javacutil.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/dist/javacutil.jar>

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-09-56-17-5855/checker/srcfiles-dataflow.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/build/.timestamp>

dist:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/dist/dataflow.jar>

build.check.uptodate:

build:
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-09-56-17-5855/checker/srcfiles-framework.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/framework/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/framework/build/.timestamp>

jar:
[unjar] Expanding: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/stubparser/dist/stubparser.jar> into <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/framework/build>
[unjar] Expanding: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/javacutil/dist/javacutil.jar> into <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/framework/build>
[unjar] Expanding: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/dataflow/dist/dataflow.jar> into <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/framework/build>
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/framework/dist/framework.jar>

dist:

build.check.uptodate:

build:
[echo] Compiling qualifiers.
[java] javac 1.9.0-jsr308-1.9.10
[echo] Compiling all source files.
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-09-56-17-5855/checker/srcfiles-checker.txt
[echo] Compiling compatibility qualifiers.
[java] javac 1.9.0-jsr308-1.9.10
[delete] Deleting: /tmp/jenkins/16-01-09-09-56-17-5855/checker/srcfiles-checker.txt
[touch] Creating <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/build/.timestamp>
[delete] Deleting: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/build/.timestamp>

checker-qual-jar:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/229/artifact/checker/dist/checker-qual.jar>

checker-compat-qual-jar:
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/229/artifact/checker/dist/checker-compat-qual.jar>

jar:
[unjar] Expanding: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/stubparser/dist/stubparser.jar> into <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/build>
[jar] Building jar: <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/229/artifact/checker/dist/checker.jar>

jdk.jar.exists:

dist-nobuildjdk:
[copy] Warning: Could not find file <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk/jdk7.jar> to copy.
[copy] Warning: Could not find file <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk/jdk8.jar> to copy.
[copy] Copying 1 file to <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/229/artifact/checker/dist>

build-tests:

example-tests-nobuildjdk:
[exec] make: Entering directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/examples'>
[exec] <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/229/artifact/checker/bin/javac> *.java
[exec] cd fenum-extension && make
[exec] make[1]: Entering directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/examples/fenum-extension'>
[exec] <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/229/artifact/checker/bin/javac> -source 7 -target 7 qual/MyFenum.java
[exec] <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/229/artifact/checker/bin/javac> -Xbootclasspath/p:<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/examples/fenum-extension> -AprintErrorStack -processor org.checkerframework.checker.fenum.FenumChecker -Aquals=qual.MyFenum Demo.java > Out.txt 2>&1
[exec] make[1]: [named-quals-test] Error 1 (ignored)
[exec] diff -u Out.txt Expected.txt
[exec] rm Out.txt
[exec] <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/229/artifact/checker/bin/javac> -Xbootclasspath/p:<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/examples/fenum-extension> -AprintErrorStack -processor org.checkerframework.checker.fenum.FenumChecker -AqualDirs=<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/examples/fenum-extension> Demo.java > Out.txt 2>&1
[exec] make[1]: [qual-folder-test] Error 1 (ignored)
[exec] diff -u Out.txt Expected.txt
[exec] rm Out.txt
[exec] rm qual/*.class
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/examples/fenum-extension'>
[exec] cd subtyping-extension && make
[exec] make[1]: Entering directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/examples/subtyping-extension'>
[exec] <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/229/artifact/checker/bin/javac> -source 7 -target 7 qual/Encrypted.java qual/PossiblyUnencrypted.java
[exec] <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/229/artifact/checker/bin/javac> -Xbootclasspath/p:<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/examples/subtyping-extension> -AprintErrorStack -processor org.checkerframework.common.subtyping.SubtypingChecker -Aquals=qual.Encrypted,qual.PossiblyUnencrypted Demo.java > Out.txt 2>&1
[exec] make[1]: [named-quals-test] Error 1 (ignored)
[exec] diff -u Out.txt Expected.txt
[exec] rm Out.txt
[exec] <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/229/artifact/checker/bin/javac> -Xbootclasspath/p:<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/examples/subtyping-extension> -AprintErrorStack -processor org.checkerframework.common.subtyping.SubtypingChecker -AqualDirs=<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/examples/subtyping-extension> Demo.java > Out.txt 2>&1
[exec] make[1]: [qual-folder-test] Error 1 (ignored)
[exec] diff -u Out.txt Expected.txt
[exec] rm Out.txt
[exec] rm qual/*.class
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/examples/subtyping-extension'>
[exec] cd units-extension && make
[exec] make[1]: Entering directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/examples/units-extension'>
[exec] <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/229/artifact/checker/bin/javac> -source 7 -target 7 qual/Frequency.java qual/FrequencyRelations.java qual/Hz.java qual/kHz.java
[exec] <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/229/artifact/checker/bin/javac> -Xbootclasspath/p:<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/examples/units-extension> -AprintErrorStack -processor org.checkerframework.checker.units.UnitsChecker -Aunits=qual.Hz,qual.kHz,qual.Frequency Demo.java > Out.txt 2>&1
[exec] diff -u Out.txt Expected.txt
[exec] --- Out.txt 2016-01-09 22:07:02.951454014 -0800
[exec] +++ Expected.txt 2016-01-07 19:24:28.761724665 -0800
[exec] @@ -3,19 +3,9 @@
[exec] ^
[exec] found : @UnknownUnits int
[exec] required: @Hz int
[exec] -Demo.java:35: error: [assignment.type.incompatible] incompatible types in assignment.
[exec] - @s double time = 5 * UnitsTools.s;
[exec] - ^
[exec] - found : @UnknownUnits int
[exec] - required: @s double
[exec] -Demo.java:47: error: [assignment.type.incompatible] incompatible types in assignment.
[exec] - @s int seconds = 5 * UnitsTools.s;
[exec] - ^
[exec] - found : @UnknownUnits int
[exec] - required: @s int
[exec] Demo.java:66: error: [assignment.type.incompatible] incompatible types in assignment.
[exec] @Hz int badTernaryAssign = seconds > 10 ? hertz : kilohertz;
[exec] ^
[exec] found : @Frequency int
[exec] required: @Hz int
[exec] -4 errors
[exec] +2 errors
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/examples/units-extension'>
[exec] make: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/examples'>
[exec] make[1]: [named-quals-test] Error 1 (ignored)
[exec] make[1]: *** [named-quals-test] Error 1
[exec] make: *** [compile] Error 2

BUILD FAILED
<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/build.xml>:574: The following error occurred while executing this line:
<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/build.xml>:963: exec returned: 2

Total time: 10 minutes 45 seconds

zab...@gmail.com

unread,
Jan 13, 2016, 4:17:06 PM1/13/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/230/>

------------------------------------------
[...truncated 589 lines...]
[exec] src/java/lang/ClassLoader.java:429: error: cannot find symbol
[exec] sun.misc.PerfCounter.getParentDelegationTime().addTime(t1 - t0);
[exec] ^
[exec] symbol: class PerfCounter
[exec] location: package sun.misc
[exec] src/java/lang/ClassLoader.java:430: error: cannot find symbol
[exec] sun.misc.PerfCounter.getFindClassTime().addElapsedTimeFrom(t1);
[exec] ^
[exec] symbol: class PerfCounter
[exec] location: package sun.misc
[exec] src/java/lang/ClassLoader.java:431: error: cannot find symbol
[exec] sun.misc.PerfCounter.getFindClasses().increment();
[exec] ^
[exec] symbol: class PerfCounter
[exec] location: package sun.misc
[exec] src/java/util/Vector.java:37: warning: [override.return.invalid] @Initialized @Nullable Object @Initialized @NonNull [] toArray(@Initialized @NonNull Vector<E extends @Initialized @NonNull Object> this) in java.util.Vector cannot override @Initialized @NonNull Object @Initialized @NonNull [] toArray(@Initialized @NonNull List<E extends @Initialized @Nullable Object> this) in java.util.List; attempting to use an incompatible return type
[exec] public synchronized @Nullable Object [] toArray() { throw new RuntimeException("skeleton method"); }
[exec] ^
[exec] found : @Initialized @Nullable Object @Initialized @NonNull []
[exec] required: @Initialized @NonNull Object @Initialized @NonNull []
[exec] src/java/util/Vector.java:38: warning: [override.param.invalid] <T extends @Initialized @Nullable Object> @org.checkerframework.checker.nullness.qual.Nullable T extends @Initialized @Nullable Object @Initialized @PolyNull [] toArray(@Initialized @NonNull Vector<E extends @Initialized @NonNull Object> this, T extends @Initialized @Nullable Object @Initialized @PolyNull [] p0) in java.util.Vector cannot override <T extends @Initialized @Nullable Object> @org.checkerframework.checker.nullness.qual.Nullable T extends @Initialized @Nullable Object @Initialized @PolyNull [] toArray(@Initialized @NonNull AbstractCollection<E extends @Initialized @Nullable Object> this, @org.checkerframework.checker.nullness.qual.Nullable T extends @Initialized @Nullable Object @Initialized @PolyNull [] p0) in java.util.AbstractCollection; attempting to use an incompatible parameter type
[exec] public synchronized <T> @Nullable T @PolyNull [] toArray(T @PolyNull [] a1) { throw new RuntimeException("skeleton method"); }
[exec] ^
[exec] found : T extends @Initialized @Nullable Object @Initialized @PolyNull []
[exec] required: @org.checkerframework.checker.nullness.qual.Nullable T extends @Initialized @Nullable Object @Initialized @PolyNull []
[exec] src/java/security/ProtectionDomain.java:335: warning: [return.type.incompatible] incompatible types in return.
[exec] return permissions;
[exec] ^
[exec] found : @Initialized @Nullable PermissionCollection
[exec] required: @Initialized @NonNull PermissionCollection
[exec] src/java/security/ProtectionDomain.java:440: warning: [argument.type.incompatible] incompatible types in argument.
[exec] map.put((pd == null ? null : pd.key), pc);
[exec] ^
[exec] found : @Initialized @Nullable Key
[exec] required: @Initialized @NonNull Key
[exec] src/java/security/ProtectionDomain.java:444: warning: [return.type.incompatible] incompatible types in return.
[exec] return pd == null ? map.get(null) : map.get(pd.key);
[exec] ^
[exec] found : @Initialized @Nullable PermissionCollection
[exec] required: @Initialized @NonNull PermissionCollection
[exec] src/java/lang/Package.java:34: warning: [override.param.invalid] <A extends @Initialized @NonNull Annotation> @org.checkerframework.checker.nullness.qual.Nullable A extends @Initialized @Nullable Annotation getAnnotation(@Initialized @NonNull Package this, @Initialized @NonNull Class<A extends @Initialized @NonNull Annotation> p0) in java.lang.Package cannot override <T extends @Initialized @Nullable Annotation> @org.checkerframework.checker.nullness.qual.Nullable T extends @Initialized @Nullable Annotation getAnnotation(@Initialized @NonNull AnnotatedElement this, @Initialized @NonNull Class<T extends @Initialized @Nullable Annotation> p0) in java.lang.reflect.AnnotatedElement; attempting to use an incompatible parameter type
[exec] public <A extends java.lang.annotation.Annotation> @Nullable A getAnnotation(Class<A> a1) { throw new RuntimeException("skeleton method"); }
[exec] ^
[exec] found : @Initialized @NonNull Class<A extends @Initialized @NonNull Annotation>
[exec] required: @Initialized @NonNull Class<T extends @Initialized @Nullable Annotation>
[exec] src/java/lang/Boolean.java:12: warning: [assignment.type.incompatible] incompatible types in assignment.
[exec] public final static Class<Boolean> TYPE = null;
[exec] ^
[exec] found : null
[exec] required: @Initialized @NonNull Class<@Initialized @NonNull Boolean>
[exec] src/java/lang/AssertionStatusDirectives.java:38: warning: [initialization.fields.uninitialized] the constructor does not initialize fields: classes, classEnabled, packages, packageEnabled
[exec] class AssertionStatusDirectives {
[exec] ^
[exec] src/java/lang/reflect/Method.java:137: warning: [override.return.invalid] <T extends @Initialized @Nullable Annotation> @org.checkerframework.checker.nullness.qual.Nullable T extends @Initialized @Nullable Annotation getAnnotation(@Initialized @NonNull Method this, @Initialized @NonNull Class<T extends @Initialized @Nullable Annotation> p0) in java.lang.reflect.Method cannot override <T extends @Initialized @NonNull Annotation> T extends @Initialized @NonNull Annotation getAnnotation(@Initialized @NonNull AccessibleObject this, @Initialized @NonNull Class<T extends @Initialized @NonNull Annotation> p0) in java.lang.reflect.AccessibleObject; attempting to use an incompatible return type
[exec] public <T extends @Nullable Annotation> @Nullable T getAnnotation(Class<T> annotationClass) {
[exec] ^
[exec] found : @org.checkerframework.checker.nullness.qual.Nullable T extends @Initialized @Nullable Annotation
[exec] required: T extends @Initialized @NonNull Annotation
[exec] src/java/lang/reflect/Method.java:137: warning: [override.param.invalid] <T extends @Initialized @Nullable Annotation> @org.checkerframework.checker.nullness.qual.Nullable T extends @Initialized @Nullable Annotation getAnnotation(@Initialized @NonNull Method this, @Initialized @NonNull Class<T extends @Initialized @Nullable Annotation> p0) in java.lang.reflect.Method cannot override <T extends @Initialized @NonNull Annotation> T extends @Initialized @NonNull Annotation getAnnotation(@Initialized @NonNull AccessibleObject this, @Initialized @NonNull Class<T extends @Initialized @NonNull Annotation> p0) in java.lang.reflect.AccessibleObject; attempting to use an incompatible parameter type
[exec] public <T extends @Nullable Annotation> @Nullable T getAnnotation(Class<T> annotationClass) {
[exec] ^
[exec] found : @Initialized @NonNull Class<T extends @Initialized @Nullable Annotation>
[exec] required: @Initialized @NonNull Class<T extends @Initialized @NonNull Annotation>
[exec] src/java/lang/reflect/InvocationTargetException.java:64: warning: [initialization.fields.uninitialized] the constructor does not initialize fields: target
[exec] protected InvocationTargetException() {
[exec] ^
[exec] src/java/lang/reflect/InvocationTargetException.java:65: warning: [argument.type.incompatible] incompatible types in argument.
[exec] super((Throwable)null); // Disallow initCause
[exec] ^
[exec] found : @FBCBottom @Nullable Throwable
[exec] required: @Initialized @NonNull Throwable
[exec] src/java/lang/reflect/InvocationTargetException.java:74: warning: [argument.type.incompatible] incompatible types in argument.
[exec] super((Throwable)null); // Disallow initCause
[exec] ^
[exec] found : @FBCBottom @Nullable Throwable
[exec] required: @Initialized @NonNull Throwable
[exec] src/java/lang/reflect/InvocationTargetException.java:75: warning: [assignment.type.incompatible] incompatible types in assignment.
[exec] this.target = target;
[exec] ^
[exec] found : @Initialized @Nullable Throwable
[exec] required: @Initialized @NonNull Throwable
[exec] src/java/lang/reflect/InvocationTargetException.java:86: warning: [argument.type.incompatible] incompatible types in argument.
[exec] super(s, null); // Disallow initCause
[exec] ^
[exec] found : @Initialized @Nullable String
[exec] required: @Initialized @NonNull String
[exec] src/java/lang/reflect/InvocationTargetException.java:86: warning: [argument.type.incompatible] incompatible types in argument.
[exec] super(s, null); // Disallow initCause
[exec] ^
[exec] found : null
[exec] required: @Initialized @NonNull Throwable
[exec] src/java/lang/reflect/InvocationTargetException.java:87: warning: [assignment.type.incompatible] incompatible types in assignment.
[exec] this.target = target;
[exec] ^
[exec] found : @Initialized @Nullable Throwable
[exec] required: @Initialized @NonNull Throwable
[exec] src/java/lang/reflect/Constructor.java:25: warning: [override.return.invalid] <T extends @Initialized @Nullable Annotation> @org.checkerframework.checker.nullness.qual.Nullable T extends @Initialized @Nullable Annotation getAnnotation(@Initialized @NonNull Constructor<T extends @Initialized @Nullable Object> this, @Initialized @NonNull Class<T extends @Initialized @Nullable Annotation> p0) in java.lang.reflect.Constructor cannot override <T extends @Initialized @NonNull Annotation> T extends @Initialized @NonNull Annotation getAnnotation(@Initialized @NonNull AccessibleObject this, @Initialized @NonNull Class<T extends @Initialized @NonNull Annotation> p0) in java.lang.reflect.AccessibleObject; attempting to use an incompatible return type
[exec] public <T extends @Nullable Annotation> @Nullable T getAnnotation(Class<T> arg0) { throw new RuntimeException("skeleton method"); }
[exec] ^
[exec] found : @org.checkerframework.checker.nullness.qual.Nullable T extends @Initialized @Nullable Annotation
[exec] required: T extends @Initialized @NonNull Annotation
[exec] src/java/util/zip/ZipFile.java:217: error: cannot find symbol
[exec] sun.misc.PerfCounter.getZipFileOpenTime().addElapsedTimeFrom(t0);
[exec] ^
[exec] symbol: class PerfCounter
[exec] location: package sun.misc
[exec] src/java/util/zip/ZipFile.java:218: error: cannot find symbol
[exec] sun.misc.PerfCounter.getZipFileCount().increment();
[exec] ^
[exec] symbol: class PerfCounter
[exec] location: package sun.misc
[exec] error: SourceChecker.typeProcess: unexpected Throwable (ClassCastException) while processing src/java/util/zip/ZipFile.java; message: com.sun.tools.javac.code.Symbol$ClassSymbol cannot be cast to javax.lang.model.element.ExecutableElement
[exec] Compilation unit: src/java/util/zip/ZipFile.java
[exec] Exception: java.lang.ClassCastException: com.sun.tools.javac.code.Symbol$ClassSymbol cannot be cast to javax.lang.model.element.ExecutableElement; Stack trace: org.checkerframework.javacutil.TreeUtils.elementFromUse(TreeUtils.java:390)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitMethodInvocation(CFGBuilder.java:2293)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitMethodInvocation(CFGBuilder.java:1270)
[exec] com.sun.tools.javac.tree.JCTree$JCMethodInvocation.accept(JCTree.java:1614)
[exec] com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:71)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitExpressionStatement(CFGBuilder.java:3271)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitExpressionStatement(CFGBuilder.java:1270)
[exec] com.sun.tools.javac.tree.JCTree$JCExpressionStatement.accept(JCTree.java:1424)
[exec] com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:71)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitBlock(CFGBuilder.java:3057)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitBlock(CFGBuilder.java:1270)
[exec] com.sun.tools.javac.tree.JCTree$JCBlock.accept(JCTree.java:996)
[exec] com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:52)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.process(CFGBuilder.java:1395)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.process(CFGBuilder.java:1416)
[exec] org.checkerframework.framework.flow.CFCFGBuilder.run(CFCFGBuilder.java:65)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.analyze(GenericAnnotatedTypeFactory.java:747)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.analyze(GenericAnnotatedTypeFactory.java:739)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.performFlowAnalysis(GenericAnnotatedTypeFactory.java:685)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.checkAndPerformFlowAnalysis(GenericAnnotatedTypeFactory.java:938)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.annotateImplicit(GenericAnnotatedTypeFactory.java:905)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.annotateImplicit(GenericAnnotatedTypeFactory.java:889)
[exec] org.checkerframework.framework.type.AnnotatedTypeFactory.getAnnotatedType(AnnotatedTypeFactory.java:926)
[exec] org.checkerframework.framework.type.AnnotatedTypeFactory.getAnnotatedType(AnnotatedTypeFactory.java:2014)
[exec] org.checkerframework.common.basetype.BaseTypeVisitor.visitClass(BaseTypeVisitor.java:296)
[exec] org.checkerframework.common.basetype.BaseTypeVisitor.visitClass(BaseTypeVisitor.java:173)
[exec] com.sun.tools.javac.tree.JCTree$JCClassDecl.accept(JCTree.java:778)
[exec] com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:52)
[exec] org.checkerframework.framework.source.SourceVisitor.visit(SourceVisitor.java:70)
[exec] org.checkerframework.framework.source.SourceChecker.typeProcess(SourceChecker.java:889)
[exec] org.checkerframework.common.basetype.BaseTypeChecker.typeProcess(BaseTypeChecker.java:452)
[exec] org.checkerframework.common.basetype.BaseTypeChecker.typeProcess(BaseTypeChecker.java:446)
[exec] org.checkerframework.javacutil.AbstractTypeProcessor$AttributionTaskListener.finished(AbstractTypeProcessor.java:205)
[exec] com.sun.tools.javac.api.ClientCodeWrapper$WrappedTaskListener.finished(ClientCodeWrapper.java:706)
[exec] com.sun.tools.javac.api.MultiTaskListener.finished(MultiTaskListener.java:120)
[exec] com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1312)
[exec] com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1266)
[exec] com.sun.tools.javac.main.JavaCompiler.compile(JavaCompiler.java:871)
[exec] com.sun.tools.javac.main.Main.compile(Main.java:257)
[exec] com.sun.tools.javac.main.Main.compile(Main.java:142)
[exec] com.sun.tools.javac.Main.compile(Main.java:55)
[exec] com.sun.tools.javac.Main.main(Main.java:41)
[exec] error: SourceChecker.typeProcess: unexpected Throwable (ClassCastException) while processing src/java/util/zip/ZipFile.java; message: com.sun.tools.javac.code.Symbol$ClassSymbol cannot be cast to javax.lang.model.element.ExecutableElement
[exec] Compilation unit: src/java/util/zip/ZipFile.java
[exec] Exception: java.lang.ClassCastException: com.sun.tools.javac.code.Symbol$ClassSymbol cannot be cast to javax.lang.model.element.ExecutableElement; Stack trace: org.checkerframework.javacutil.TreeUtils.elementFromUse(TreeUtils.java:390)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitMethodInvocation(CFGBuilder.java:2293)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitMethodInvocation(CFGBuilder.java:1270)
[exec] com.sun.tools.javac.tree.JCTree$JCMethodInvocation.accept(JCTree.java:1614)
[exec] com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:71)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitExpressionStatement(CFGBuilder.java:3271)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitExpressionStatement(CFGBuilder.java:1270)
[exec] com.sun.tools.javac.tree.JCTree$JCExpressionStatement.accept(JCTree.java:1424)
[exec] com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:71)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitBlock(CFGBuilder.java:3057)
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk/nullness'>
[exec] make: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.visitBlock(CFGBuilder.java:1270)
[exec] com.sun.tools.javac.tree.JCTree$JCBlock.accept(JCTree.java:996)
[exec] com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:52)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.process(CFGBuilder.java:1395)
[exec] org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.process(CFGBuilder.java:1416)
[exec] org.checkerframework.framework.flow.CFCFGBuilder.run(CFCFGBuilder.java:65)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.analyze(GenericAnnotatedTypeFactory.java:747)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.analyze(GenericAnnotatedTypeFactory.java:739)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.performFlowAnalysis(GenericAnnotatedTypeFactory.java:685)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.checkAndPerformFlowAnalysis(GenericAnnotatedTypeFactory.java:938)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.annotateImplicit(GenericAnnotatedTypeFactory.java:905)
[exec] org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.annotateImplicit(NullnessAnnotatedTypeFactory.java:198)
[exec] org.checkerframework.framework.type.GenericAnnotatedTypeFactory.annotateImplicit(GenericAnnotatedTypeFactory.java:889)
[exec] org.checkerframework.framework.type.AnnotatedTypeFactory.getAnnotatedType(AnnotatedTypeFactory.java:926)
[exec] org.checkerframework.framework.type.AnnotatedTypeFactory.getAnnotatedType(AnnotatedTypeFactory.java:2014)
[exec] org.checkerframework.checker.initialization.InitializationVisitor.visitClass(InitializationVisitor.java:311)
[exec] org.checkerframework.checker.initialization.InitializationVisitor.visitClass(InitializationVisitor.java:65)
[exec] com.sun.tools.javac.tree.JCTree$JCClassDecl.accept(JCTree.java:778)
[exec] com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:52)
[exec] org.checkerframework.framework.source.SourceVisitor.visit(SourceVisitor.java:70)
[exec] org.checkerframework.framework.source.SourceChecker.typeProcess(SourceChecker.java:889)
[exec] org.checkerframework.common.basetype.BaseTypeChecker.typeProcess(BaseTypeChecker.java:452)
[exec] org.checkerframework.javacutil.AbstractTypeProcessor$AttributionTaskListener.finished(AbstractTypeProcessor.java:205)
[exec] com.sun.tools.javac.api.ClientCodeWrapper$WrappedTaskListener.finished(ClientCodeWrapper.java:706)
[exec] com.sun.tools.javac.api.MultiTaskListener.finished(MultiTaskListener.java:120)
[exec] com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1312)
[exec] com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1266)
[exec] com.sun.tools.javac.main.JavaCompiler.compile(JavaCompiler.java:871)
[exec] com.sun.tools.javac.main.Main.compile(Main.java:257)
[exec] com.sun.tools.javac.main.Main.compile(Main.java:142)
[exec] com.sun.tools.javac.Main.compile(Main.java:55)
[exec] com.sun.tools.javac.Main.main(Main.java:41)
[exec] Note: src/java/util/jar/JarFile.java uses unchecked or unsafe operations.
[exec] Note: Recompile with -Xlint:unchecked for details.
[exec] 7 errors
[exec] 100 warnings
[exec] make[1]: *** [classes] Error 1
[exec] make: *** [nullness.classes] Error 2

BUILD FAILED
<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/build.xml>:1308: exec returned: 2

Total time: 1 minute 32 seconds

zab...@gmail.com

unread,
Jan 13, 2016, 4:18:42 PM1/13/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/231/>

------------------------------------------
[...truncated 590 lines...]
Total time: 1 minute 30 seconds

zab...@gmail.com

unread,
Jan 13, 2016, 4:20:12 PM1/13/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/232/>
Total time: 1 minute 27 seconds

zab...@gmail.com

unread,
Jan 13, 2016, 4:21:41 PM1/13/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/233/>
Total time: 1 minute 26 seconds

zab...@gmail.com

unread,
Jan 13, 2016, 4:23:12 PM1/13/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/234/>

zab...@gmail.com

unread,
Jan 14, 2016, 4:54:05 PM1/14/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/235/>

------------------------------------------
[...truncated 596 lines...]
Total time: 2 minutes 29 seconds

zab...@gmail.com

unread,
Jan 14, 2016, 4:56:19 PM1/14/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/236/>

------------------------------------------
[...truncated 590 lines...]
Total time: 2 minutes 9 seconds

zab...@gmail.com

unread,
Jan 14, 2016, 4:58:28 PM1/14/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/237/>
Total time: 2 minutes 5 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 4:16:35 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/238/>

------------------------------------------
[...truncated 596 lines...]
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk/nullness'>
[exec] com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1312)
[exec] com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1266)
[exec] make: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] com.sun.tools.javac.main.JavaCompiler.compile(JavaCompiler.java:871)
[exec] com.sun.tools.javac.main.Main.compile(Main.java:257)
[exec] com.sun.tools.javac.main.Main.compile(Main.java:142)
[exec] com.sun.tools.javac.Main.compile(Main.java:55)
[exec] com.sun.tools.javac.Main.main(Main.java:41)
[exec] Note: src/java/util/jar/JarFile.java uses unchecked or unsafe operations.
[exec] Note: Recompile with -Xlint:unchecked for details.
[exec] 7 errors
[exec] 100 warnings
[exec] make[1]: *** [classes] Error 1
[exec] make: *** [nullness.classes] Error 2

BUILD FAILED
<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/build.xml>:1308: exec returned: 2

Total time: 1 minute 28 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 4:18:13 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/239/>

------------------------------------------
[...truncated 590 lines...]
[exec] make[1]: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk/nullness'>
[exec] make: Leaving directory `<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/jdk'>
[exec] com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1312)
[exec] com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1266)
[exec] com.sun.tools.javac.main.JavaCompiler.compile(JavaCompiler.java:871)
[exec] com.sun.tools.javac.main.Main.compile(Main.java:257)
[exec] com.sun.tools.javac.main.Main.compile(Main.java:142)
[exec] com.sun.tools.javac.Main.compile(Main.java:55)
[exec] com.sun.tools.javac.Main.main(Main.java:41)
[exec] Note: src/java/util/jar/JarFile.java uses unchecked or unsafe operations.
[exec] Note: Recompile with -Xlint:unchecked for details.
[exec] 7 errors
[exec] 100 warnings
[exec] make[1]: *** [classes] Error 1
[exec] make: *** [nullness.classes] Error 2

BUILD FAILED
<http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/ws/checker/build.xml>:1308: exec returned: 2

Total time: 1 minute 33 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 4:19:48 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/240/>
Total time: 1 minute 32 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 4:21:24 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/241/>

zab...@gmail.com

unread,
Jan 16, 2016, 4:22:56 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/242/>
Total time: 1 minute 29 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 4:24:27 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/243/>
Total time: 1 minute 28 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 4:26:01 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/244/>
Total time: 1 minute 30 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 4:27:39 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/245/>
Total time: 1 minute 35 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 4:29:12 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/246/>
Total time: 1 minute 30 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 4:30:49 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/247/>
Total time: 1 minute 34 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 4:32:22 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/248/>
Total time: 1 minute 31 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 4:34:01 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/249/>
Total time: 1 minute 35 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 4:35:33 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/250/>
Total time: 1 minute 29 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 4:37:08 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/251/>
Total time: 1 minute 32 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 4:38:38 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/252/>
Total time: 1 minute 26 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 4:40:10 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/253/>
Total time: 1 minute 29 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 4:41:42 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/254/>

zab...@gmail.com

unread,
Jan 16, 2016, 4:43:17 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/255/>
Total time: 1 minute 31 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 4:44:51 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/256/>
Total time: 1 minute 29 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 4:46:24 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/257/>

zab...@gmail.com

unread,
Jan 16, 2016, 4:47:57 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/258/>
Total time: 1 minute 30 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 4:49:28 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/259/>
Total time: 1 minute 27 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 4:50:59 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/260/>
Total time: 1 minute 28 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 4:52:31 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/261/>
Total time: 1 minute 29 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 4:54:08 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/262/>
Total time: 1 minute 34 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 4:55:42 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/263/>
Total time: 1 minute 30 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 4:57:15 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/264/>

zab...@gmail.com

unread,
Jan 16, 2016, 4:58:48 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/265/>

zab...@gmail.com

unread,
Jan 16, 2016, 5:00:20 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/266/>
Total time: 1 minute 29 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 5:01:54 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/267/>
Total time: 1 minute 30 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 5:03:30 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/268/>
Total time: 1 minute 33 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 5:05:04 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/269/>
Total time: 1 minute 31 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 5:06:44 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/270/>
Total time: 1 minute 34 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 5:08:13 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/271/>
Total time: 1 minute 29 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 5:09:46 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/272/>
Total time: 1 minute 30 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 5:11:20 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/273/>
Total time: 1 minute 31 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 5:12:53 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/274/>
Total time: 1 minute 29 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 5:14:27 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/275/>
Total time: 1 minute 30 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 5:15:59 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/276/>
Total time: 1 minute 29 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 5:17:34 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/277/>
Total time: 1 minute 32 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 5:19:12 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/278/>
Total time: 1 minute 34 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 5:20:47 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/279/>
Total time: 1 minute 32 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 5:22:21 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/280/>
Total time: 1 minute 30 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 5:23:53 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/281/>
Total time: 1 minute 29 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 5:25:28 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/282/>
Total time: 1 minute 31 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 5:27:00 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/283/>
Total time: 1 minute 29 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 5:28:35 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/284/>
Total time: 1 minute 31 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 5:30:09 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/285/>

zab...@gmail.com

unread,
Jan 16, 2016, 5:31:48 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/286/>
Total time: 1 minute 36 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 5:33:22 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/287/>
Total time: 1 minute 30 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 5:34:53 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/288/>
Total time: 1 minute 29 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 5:36:29 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/289/>
Total time: 1 minute 32 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 5:38:01 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/290/>
Total time: 1 minute 29 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 5:39:33 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/291/>
Total time: 1 minute 28 seconds

zab...@gmail.com

unread,
Jan 16, 2016, 5:41:07 PM1/16/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/292/>
Total time: 1 minute 30 seconds

zab...@gmail.com

unread,
Jan 19, 2016, 4:17:30 PM1/19/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/293/>

------------------------------------------
[...truncated 596 lines...]
Total time: 1 minute 36 seconds

zab...@gmail.com

unread,
Jan 19, 2016, 4:19:06 PM1/19/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/294/>

------------------------------------------
[...truncated 590 lines...]
Total time: 1 minute 33 seconds

zab...@gmail.com

unread,
Jan 19, 2016, 4:20:43 PM1/19/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/295/>

zab...@gmail.com

unread,
Jan 19, 2016, 4:22:17 PM1/19/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/296/>
Total time: 1 minute 31 seconds

zab...@gmail.com

unread,
Jan 19, 2016, 4:23:50 PM1/19/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/297/>
Total time: 1 minute 29 seconds

zab...@gmail.com

unread,
Jan 19, 2016, 4:25:20 PM1/19/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/298/>
Total time: 1 minute 28 seconds

zab...@gmail.com

unread,
Jan 19, 2016, 4:26:53 PM1/19/16
to checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/jdk9-checker-framework/299/>
Total time: 1 minute 30 seconds
It is loading more messages.
0 new messages