See <
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/1082/>
------------------------------------------
[...truncated 91 lines...]
org.checkerframework.framework.source.SourceVisitor.visit(SourceVisitor.java:66)
org.checkerframework.framework.source.SourceChecker.typeProcess(SourceChecker.java:978)
org.checkerframework.common.basetype.BaseTypeChecker.typeProcess(BaseTypeChecker.java:464)
org.checkerframework.common.basetype.BaseTypeChecker.typeProcess(BaseTypeChecker.java:458)
org.checkerframework.javacutil.AbstractTypeProcessor$AttributionTaskListener.finished(AbstractTypeProcessor.java:208)
com.sun.tools.javac.api.ClientCodeWrapper$WrappedTaskListener.finished(ClientCodeWrapper.java:681)
com.sun.tools.javac.api.MultiTaskListener.finished(MultiTaskListener.java:111)
com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1342)
com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1296)
com.sun.tools.javac.main.JavaCompiler.compile2(JavaCompiler.java:901)
com.sun.tools.javac.main.JavaCompiler.compile(JavaCompiler.java:860)
com.sun.tools.javac.main.Main.compile(Main.java:523)
com.sun.tools.javac.main.Main.compile(Main.java:381)
com.sun.tools.javac.main.Main.compile(Main.java:370)
com.sun.tools.javac.main.Main.compile(Main.java:361)
com.sun.tools.javac.Main.compile(Main.java:56)
com.sun.tools.javac.Main.main(Main.java:42)
error: MultiGraphQualifierHierarchy: mismatched number of annotations in lhs: [@org.checkerframework.checker.nullness.qual.NonNull, @org.checkerframework.checker.nullness.qual.NonRaw] and rhs: [@org.checkerframework.checker.nullness.qual.NonNull, @org.checkerframework.checker.nullness.qual.NonRaw, @org.checkerframework.framework.qual.PolyAll]
Compilation unit: src/plume/ArraysMDE.java
Exception: java.lang.Throwable; Stack trace: org.checkerframework.framework.source.SourceChecker.errorAbort(SourceChecker.java:744)
org.checkerframework.javacutil.ErrorReporter.errorAbort(ErrorReporter.java:28)
org.checkerframework.framework.util.MultiGraphQualifierHierarchy.isSubtype(MultiGraphQualifierHierarchy.java:364)
org.checkerframework.common.basetype.BaseTypeVisitor.checkTypecastSafety(BaseTypeVisitor.java:1689)
org.checkerframework.common.basetype.BaseTypeVisitor.visitTypeCast(BaseTypeVisitor.java:1705)
org.checkerframework.checker.initialization.InitializationVisitor.visitTypeCast(InitializationVisitor.java:234)
org.checkerframework.checker.nullness.NullnessVisitor.visitTypeCast(NullnessVisitor.java:430)
org.checkerframework.checker.nullness.NullnessVisitor.visitTypeCast(NullnessVisitor.java:57)
com.sun.tools.javac.tree.JCTree$JCTypeCast.accept(JCTree.java:1821)
com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:68)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:274)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:169)
com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:81)
com.sun.source.util.TreeScanner.visitVariable(TreeScanner.java:153)
org.checkerframework.common.basetype.BaseTypeVisitor.visitVariable(BaseTypeVisitor.java:891)
org.checkerframework.checker.initialization.InitializationVisitor.visitVariable(InitializationVisitor.java:159)
org.checkerframework.checker.initialization.InitializationVisitor.visitVariable(InitializationVisitor.java:59)
com.sun.tools.javac.tree.JCTree$JCVariableDecl.accept(JCTree.java:864)
com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:68)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:274)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:169)
com.sun.source.util.TreeScanner.scan(TreeScanner.java:91)
com.sun.source.util.TreeScanner.visitBlock(TreeScanner.java:162)
org.checkerframework.checker.initialization.InitializationVisitor.visitBlock(InitializationVisitor.java:267)
org.checkerframework.checker.initialization.InitializationVisitor.visitBlock(InitializationVisitor.java:59)
com.sun.tools.javac.tree.JCTree$JCBlock.accept(JCTree.java:918)
com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:68)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:274)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:169)
com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:81)
com.sun.source.util.TreeScanner.visitIf(TreeScanner.java:237)
org.checkerframework.checker.nullness.NullnessVisitor.visitIf(NullnessVisitor.java:356)
org.checkerframework.checker.nullness.NullnessVisitor.visitIf(NullnessVisitor.java:57)
com.sun.tools.javac.tree.JCTree$JMemory pool Code Cache statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 13122368(12814K) committed = 13303808(12992K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 683671552(667648K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 66034800(64487K) committed = 93847552(91648K) max = 93847552(91648K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1044666864(1020182K) committed = 1250951168(1221632K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18617064(18180K) committed = 41943040(40960K) max = 174063616(169984K)
Memory pool Code Cache statistics
Pool type: Non-heap memory
Memory pool Code Cache statistics
Pool type: Non-heap memory
Memory pool Code Cache statistics
Pool type: Non-heap memory
Memory pool Code Cache statistics
Pool type: Non-heap memory
Memory pool Code Cache statistics
Pool type: Non-heap memory
Memory pool Code Cache statistics
Peak usage: init = 2555904(2496K) used = 13122368(12814K) committed = 13303808(12992K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Peak usage: init = 2555904(2496K) used = 13122368(12814K) committed = 13303808(12992K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Peak usage: init = 2555904(2496K) used = 13122368(12814K) committed = 13303808(12992K) max = 50331648(49152K)
Pool type: Heap memory
Pool type: Non-heap memory
Pool type: Heap memory
Peak usage: init = 2555904(2496K) used = 13122368(12814K) committed = 13303808(12992K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 683671552(667648K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 2555904(2496K) used = 13122368(12814K) committed = 13303808(12992K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 683671552(667648K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 2555904(2496K) used = 13122368(12814K) committed = 13303808(12992K) max = 50331648(49152K)
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 683671552(667648K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 683671552(667648K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Memory pool PS Eden Space statistics
Pool type: Heap memory
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 66034800(64487K) committed = 93847552(91648K) max = 93847552(91648K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 66034800(64487K) committed = 93847552(91648K) max = 93847552(91648K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 66034800(64487K) committed = 93847552(91648K) max = 93847552(91648K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 66034800(64487K) committed = 93847552(91648K) max = 93847552(91648K)
Peak usage: init = 1055916032(1031168K) used = 1044666864(1020182K) committed = 1250951168(1221632K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 1055916032(1031168K) used = 1044666864(1020182K) committed = 1250951168(1221632K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 683671552(667648K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 683671552(667648K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 66034800(64487K) committed = 93847552(91648K) max = 93847552(91648K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1044666864(1020182K) committed = 1250951168(1221632K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18617064(18180K) committed = 41943040(40960K) max = 174063616(169984K)
Peak usage: init = 66060288(64512K) used = 66034800(64487K) committed = 93847552(91648K) max = 93847552(91648K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 22020096(21504K) used = 18617064(18180K) committed = 41943040(40960K) max = 174063616(169984K)
Peak usage: init = 22020096(21504K) used = 18617064(18180K) committed = 41943040(40960K) max = 174063616(169984K)
Peak usage: init = 1055916032(1031168K) used = 1044666864(1020182K) committed = 1250951168(1221632K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Memory pool PS Old Gen statistics
Peak usage: init = 22020096(21504K) used = 18617064(18180K) committed = 41943040(40960K) max = 174063616(169984K)
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1044666864(1020182K) committed = 1250951168(1221632K) max = 1397751808(1364992K)
Peak usage: init = 1055916032(1031168K) used = 1044666864(1020182K) committed = 1250951168(1221632K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18617064(18180K) committed = 41943040(40960K) max = 174063616(169984K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18617064(18180K) committed = 41943040(40960K) max = 174063616(169984K)
CIf.accept(JCTree.java:1277)
com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:68)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:274)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:169)
com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:81)
com.sun.source.util.TreeScanner.scan(TreeScanner.java:91)
com.sun.source.util.TreeScanner.visitBlock(TreeScanner.java:162)
org.checkerframework.checker.initialization.InitializationVisitor.visitBlock(InitializationVisitor.java:267)
org.checkerframework.checker.initialization.InitializationVisitor.visitBlock(InitializationVisitor.java:59)
com.sun.tools.javac.tree.JCTree$JCBlock.accept(JCTree.java:918)
com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:68)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:274)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:169)
com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:81)
com.sun.source.util.TreeScanner.visitForLoop(TreeScanner.java:181)
org.checkerframework.checker.nullness.NullnessVisitor.visitForLoop(NullnessVisitor.java:517)
org.checkerframework.checker.nullness.NullnessVisitor.visitForLoop(NullnessVisitor.java:57)
com.sun.tools.javac.tree.JCTree$JCForLoop.accept(JCTree.java:1013)
com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:68)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:274)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:169)
com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:81)
com.sun.source.util.TreeScanner.scan(TreeScanner.java:91)
com.sun.source.util.TreeScanner.visitBlock(TreeScanner.java:162)
org.checkerframework.checker.initialization.InitializationVisitor.visitBlock(InitializationVisitor.java:267)
org.checkerframework.checker.initialization.InitializationVisitor.visitBlock(InitializationVisitor.java:59)
com.sun.tools.javac.tree.JCTree$JCBlock.accept(JCTree.java:918)
com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:68)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:274)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:169)
com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:81)
com.sun.source.util.TreeScanner.visitIf(TreeScanner.java:237)
org.checkerframework.checker.nullness.NullnessVisitor.visitIf(NullnessVisitor.java:356)
org.checkerframework.checker.nullness.NullnessVisitor.visitIf(NullnessVisitor.java:57)
com.sun.tools.javac.tree.JCTree$JCIf.accept(JCTree.java:1277)
com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:68)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:274)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:169)
com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:81)
com.sun.source.util.TreeScanner.scan(TreeScanner.java:91)
com.sun.source.util.TreeScanner.visitBlock(TreeScanner.java:162)
org.checkerframework.checker.initialization.InitializationVisitor.visitBlock(InitializationVisitor.java:267)
org.checkerframework.checker.initialization.InitializationVisitor.visitBlock(InitializationVisitor.java:59)
com.sun.tools.javac.tree.JCTree$JCBlock.accept(JCTree.java:918)
com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:68)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:274)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:169)
com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:81)
com.sun.source.util.TreeScanner.visitMethod(TreeScanner.java:144)
org.checkerframework.common.basetype.BaseTypeVisitor.visitMethod(BaseTypeVisitor.java:519)
org.checkerframework.checker.initialization.InitializationVisitor.visitMethod(InitializationVisitor.java:357)
org.checkerframework.checker.initialization.InitializationVisitor.visitMethod(InitializationVisitor.java:59)
com.sun.tools.javac.tree.JCTree$JCMethodDecl.accept(JCTree.java:800)
com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:68)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:274)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:169)
com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:81)
com.sun.source.util.TreeScanner.scan(TreeScanner.java:91)
com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:99)
com.sun.source.util.TreeScanner.visitClass(TreeScanner.java:133)
org.checkerframework.common.basetype.BaseTypeVisitor.visitClass(BaseTypeVisitor.java:319)
org.checkerframework.checker.initialization.InitializationVisitor.visitClass(InitializationVisitor.java:297)
org.checkerframework.checker.initialization.InitializationVisitor.visitClass(InitializationVisitor.java:59)
com.sun.tools.javac.tree.JCTree$JCClassDecl.accept(JCTree.java:720)
com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:50)
org.checkerframework.framework.source.SourceVisitor.visit(SourceVisitor.java:66)
org.checkerframework.framework.source.SourceChecker.typeProcess(SourceChecker.java:978)
org.checkerframework.common.basetype.BaseTypeChecker.typeProcess(BaseTypeChecker.java:464)
org.checkerframework.javacutil.AbstractTypeProcessor$AttributionTaskListener.finished(AbstractTypeProcessor.java:208)
com.sun.tools.javac.api.ClientCodeWrapper$WrappedTaskListener.finished(ClientCodeWrapper.java:681)
com.sun.tools.javac.api.MultiTaskListener.finished(MultiTaskListener.java:111)
com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1342)
com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1296)
com.sun.tools.javac.main.JavaCompiler.compile2(JavaCompiler.java:901)
com.sun.tools.javac.main.JavaCompiler.compile(JavaCompiler.java:860)
com.sun.tools.javac.main.Main.compile(Main.java:523)
com.sun.tools.javac.main.Main.compile(Main.java:381)
com.sun.tools.javac.main.Main.compile(Main.java:370)
com.sun.tools.javac.main.Main.compile(Main.java:361)
com.sun.tools.javac.Main.compile(Main.java:56)
com.sun.tools.javac.Main.main(Main.java:42)
2 errors
make[3]: *** [.class-files-timestamp] Error 1
make[3]: Leaving directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
make[2]: *** [.optionsdoc-timestamp] Error 2
make[2]: Leaving directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
make[1]: *** [plume.jar] Error 2
make[1]: Leaving directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
make: *** [typecheck] Error 2
make: Leaving directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
Build step 'Execute shell' marked build as failure
[WARNINGS] Skipping publisher since build result is FAILURE