See <
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/1090/>
------------------------------------------
Started by upstream project "plume-lib-typecheck" build number 1090
originally caused by:
Started by upstream project "checker-framework" build number 1176
originally caused by:
Started by an SCM change
Building in workspace <
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/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/mernst/plume-lib.git # timeout=10
Fetching upstream changes from
https://github.com/mernst/plume-lib.git
> /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/mernst/plume-lib.git +refs/heads/*:refs/remotes/origin/*
Checking out Revision ab18fef91e518474b448f9bf0681ffbedb1204bd (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 ab18fef91e518474b448f9bf0681ffbedb1204bd
> /www/secs-jenkins/tools/git-2.4.5/git rev-list ab18fef91e518474b448f9bf0681ffbedb1204bd # timeout=10
[Local_jdk8u] $ /bin/sh -xe /tmp/hudson807255443257970766.sh
+ ln -fs java/src src
+ chmod +x <
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javac> <
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javadoc> <
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javah> <
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javap> <
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/sjavac>
+ chmod +x <
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/checker/bin/javac>
[Local_jdk8u] $ /bin/sh -xe /tmp/hudson1264604561731918506.sh
+ PATH=/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//bin:/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//bin:/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//bin:/sbin:/usr/sbin:/bin:/usr/bin
+ CHECKERFRAMEWORK=<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive>
+ JAVAC=<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../jsr308-langtools/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/dist/bin/javac>
+ JAVAC_TARGET_FLAGS='-source 7 -target 7 -AprintErrorStack -Awarns -XDsourcePosition=bottom -AresourceStats'
+ make -C java typecheck
make: Entering directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
\rm -f .class-files-timestamp
make JAVAC_COMMAND="<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/checker/bin/javac> -g -Xlint -Xmaxwarns 1000 -J-Xmx2000m -source 7 -target 7 -Xlint:-options -Werror -Xlint:-classfile -source 7 -target 7 -AprintErrorStack -Awarns -XDsourcePosition=bottom -AresourceStats -source 7 -target 7 -Xlint:-options -Awarns -implicit:class -Xlint:-processing -AcheckPurityAnnotations -AsuppressWarnings=lock:method.guarantee.violated -processor org.checkerframework.checker.nullness.NullnessRawnessChecker,org.checkerframework.checker.nullness.NullnessChecker,org.checkerframework.checker.interning.InterningChecker,org.checkerframework.checker.regex.RegexChecker,org.checkerframework.checker.formatter.FormatterChecker,org.checkerframework.checker.signature.SignatureChecker,org.checkerframework.checker.lock.LockChecker "
make[1]: Entering directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make tools_jar_exists
make[2]: Entering directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make /www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//lib/tools.jar
make[3]: Entering directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make[3]: `/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//lib/tools.jar' is up to date.
make[3]: Leaving directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make[2]: Leaving directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make clean optionsdoc
make[2]: Entering directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
rm -f src/plume/*.class
rm -f .class-files-timestamp
rm -f .javadoc-timestamp
rm -f .optionsdoc-timestamp
rm -f .test-timestamp
rm -f plume.jar lookup.jar task_manager.jar
make compile
make[3]: Entering directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make tools_jar_exists
make[4]: Entering directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make /www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//lib/tools.jar
make[5]: Entering directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make[5]: `/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//lib/tools.jar' is up to date.
make[5]: Leaving directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make[4]: Leaving directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/checker/bin/javac> -g -Xlint -Xmaxwarns 1000 -J-Xmx2000m -source 7 -target 7 -Xlint:-options -Werror -Xlint:-classfile -source 7 -target 7 -AprintErrorStack -Awarns -XDsourcePosition=bottom -AresourceStats -source 7 -target 7 -Xlint:-options -Awarns -implicit:class -Xlint:-processing -AcheckPurityAnnotations -AsuppressWarnings=lock:method.guarantee.violated -processor org.checkerframework.checker.nullness.NullnessRawnessChecker,org.checkerframework.checker.nullness.NullnessChecker,org.checkerframework.checker.interning.InterningChecker,org.checkerframework.checker.regex.RegexChecker,org.checkerframework.checker.formatter.FormatterChecker,org.checkerframework.checker.signature.SignatureChecker,org.checkerframework.checker.lock.LockChecker src/plume/ArraysMDE.java src/plume/BCELUtil.java src/plume/BibtexClean.java src/plume/ClassFileVersion.java src/plume/CountingPrintWriter.java src/plume/DeclarationAnnotations.java src/plume/DeterministicObject.java src/plume/Digest.java src/plume/EntryReader.java src/plume/FileCompiler.java src/plume/FileIOException.java src/plume/Filter.java src/plume/FuzzyFloat.java src/plume/GraphMDE.java src/plume/Hasher.java src/plume/HtmlPrettyPrint.java src/plume/ICalAvailable.java src/plume/Intern.java src/plume/IterableIterator.java src/plume/JWhich.java src/plume/LimitedSizeIntSet.java src/plume/LimitedSizeSet.java src/plume/Lookup.java src/plume/MathMDE.java src/plume/MultiRandSelector.java src/plume/MultiVersionControl.java src/plume/Option.java src/plume/OptionGroup.java src/plume/Options.java src/plume/OptionsDoclet.java src/plume/OrderedPairIterator.java src/plume/Pair.java src/plume/Partitioner.java src/plume/RandomSelector.java src/plume/RandoopMappedCalls.java src/plume/RegexUtil.java src/plume/SimpleLog.java src/plume/Stopwatch.java src/plume/StrTok.java src/plume/StringBuilderDelimited.java src/plume/TaskManager.java src/plume/TestPlume.java src/plume/TimeLimitProcess.java src/plume/Triple.java src/plume/Unpublicized.java src/plume/UtilMDE.java src/plume/WeakHasherMap.java src/plume/WeakIdentityHashMap.java src/plume/WeakIdentityPair.java src/plume/package-info.java 2>&1
src/plume/Lookup.java:280: warning: [assignment.type.incompatible] incompatible types in assignment.
found : null
required: @NonNull @NonRaw EntryReader
EntryReader reader = null;
^
src/plume/Lookup.java:280: warning: [assignment.type.incompatible] incompatible types in assignment.
found : null
required: @Initialized @NonNull EntryReader
EntryReader reader = null;
^
error: warnings found and -Werror specified
1 error
2 warnings
Memory pool Code Cache statistics
Memory pool Code Cache statistics
Memory pool Code Cache statistics
Memory pool Code Cache statistics
Memory pool Code Cache statistics
Memory pool Code Cache statistics
Memory pool Code Cache statistics
Pool type: Non-heap memory
Pool type: Non-heap memory
Pool type: Non-heap memory
Pool type: Non-heap memory
Pool type: Non-heap memory
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 41593792(40618K) committed = 42205184(41216K) max = 251658240(245760K)
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 41593792(40618K) committed = 42205184(41216K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21015680(20523K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1871856(1827K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 683147264(667136K) committed = 683147264(667136K) max = 687341568(671232K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 67575472(65991K) committed = 93847552(91648K) max = 93847552(91648K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1049068784(1024481K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 2555904(2496K) used = 41593792(40618K) committed = 42205184(41216K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21016528(20523K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 41593792(40618K) committed = 42205184(41216K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21016528(20523K) committed = 21626880(21120K) max = -1(-1K)
Peak usage: init = 2555904(2496K) used = 41593792(40618K) committed = 42205184(41216K) max = 251658240(245760K)
Peak usage: init = 2555904(2496K) used = 41593792(40618K) committed = 42205184(41216K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21016528(20523K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1871856(1827K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1871856(1827K) committed = 1966080(1920K) max = 1073741824(1048576K)
Peak usage: init = 0(0K) used = 1871856(1827K) committed = 1966080(1920K) max = 1073741824(1048576K)
Peak usage: init = 0(0K) used = 21016528(20523K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1871856(1827K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 683147264(667136K) committed = 683147264(667136K) max = 687341568(671232K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 2555904(2496K) used = 41593792(40618K) committed = 42205184(41216K) max = 251658240(245760K)
Peak usage: init = 66060288(64512K) used = 67575472(65991K) committed = 93847552(91648K) max = 93847552(91648K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1049068784(1024481K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 683147264(667136K) committed = 683147264(667136K) max = 687341568(671232K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 67575472(65991K) committed = 93847552(91648K) max = 93847552(91648K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1049068784(1024481K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 683147264(667136K) committed = 683147264(667136K) max = 687341568(671232K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 67575472(65991K) committed = 93847552(91648K) max = 93847552(91648K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1049068784(1024481K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 396361728(387072K) used = 683147264(667136K) committed = 683147264(667136K) max = 687341568(671232K)
Peak usage: init = 0(0K) used = 21016528(20523K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1871856(1827K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 683147264(667136K) committed = 683147264(667136K) max = 687341568(671232K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 67575472(65991K) committed = 93847552(91648K) max = 93847552(91648K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1049068784(1024481K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 67575472(65991K) committed = 93847552(91648K) max = 93847552(91648K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1049068784(1024481K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 21018464(20525K) committed = 21626880(21120K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1871856(1827K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 683147264(667136K) committed = 683147264(667136K) max = 687341568(671232K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 67575472(65991K) committed = 93847552(91648K) max = 93847552(91648K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 1049068784(1024481K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
make[3]: *** [.class-files-timestamp] Error 1
make[3]: Leaving directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make[2]: *** [.optionsdoc-timestamp] Error 2
make[2]: Leaving directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make[1]: *** [plume.jar] Error 2
make[1]: Leaving directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make: *** [typecheck] Error 2
make: Leaving directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
Build step 'Execute shell' marked build as failure
[WARNINGS] Skipping publisher since build result is FAILURE