See <
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/1043/changes>
Changes:
[Michael Ernst] Update README files
[Michael Ernst] Update version to 1.1.0
[Michael Ernst] Update release instructions
------------------------------------------
Started by upstream project "plume-lib-typecheck" build number 1043
originally caused by:
Started by upstream project "plume-lib" build number 285
originally caused by:
Started by an SCM change
Started by an SCM change
Started by an SCM change
Started by an SCM change
Started by an SCM change
Started by an SCM change
Started by an SCM change
Started by an SCM change
Started by an SCM change
Started by an SCM change
Started by an SCM change
Started by an SCM change
Started by an SCM change
Started by an SCM change
Building in workspace <
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/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 6aae552ddef9b3bfe654bb610e5d42afed0fefae (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 6aae552ddef9b3bfe654bb610e5d42afed0fefae
> /www/secs-jenkins/tools/git-2.4.5/git rev-list 2649accefbd84a379e1b9b69bf7ec832b3092f50 # timeout=10
[JDK_8] $ /bin/sh -xe /tmp/hudson7453451254284915976.sh
+ ln -fs java/src src
+ chmod +x <
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_8/lastSuccessful/archive/dist/bin/javac> <
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_8/lastSuccessful/archive/dist/bin/javadoc> <
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_8/lastSuccessful/archive/dist/bin/javah> <
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_8/lastSuccessful/archive/dist/bin/javap> <
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_8/lastSuccessful/archive/dist/bin/sjavac>
+ chmod +x <
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../checker-framework/configurations/axis-jdk/JDK_8/lastSuccessful/archive/checker/bin/javac>
[JDK_8] $ /bin/sh -xe /tmp/hudson7317844481519948191.sh
+ PATH=/www/secs-jenkins/java/jdk1.8.0/bin:/www/secs-jenkins/java/jdk1.8.0/bin:/www/secs-jenkins/java/jdk1.8.0/bin:/sbin:/usr/sbin:/bin:/usr/bin
+ CHECKERFRAMEWORK=<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../checker-framework/configurations/axis-jdk/JDK_8/lastSuccessful/archive>
+ JAVAC=<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../jsr308-langtools/configurations/axis-jdk/JDK_8/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=JDK_8/ws/java'>
\rm -f .class-files-timestamp
make JAVAC_COMMAND="<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../checker-framework/configurations/axis-jdk/JDK_8/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=JDK_8/ws/java'>
make tools_jar_exists
make[2]: Entering directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/java'>
make /www/secs-jenkins/java/jdk1.8.0/lib/tools.jar
make[3]: Entering directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/java'>
make[3]: `/www/secs-jenkins/java/jdk1.8.0/lib/tools.jar' is up to date.
make[3]: Leaving directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/java'>
make[2]: Leaving directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/java'>
make clean optionsdoc
make[2]: Entering directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/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=JDK_8/ws/java'>
make tools_jar_exists
make[4]: Entering directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/java'>
make /www/secs-jenkins/java/jdk1.8.0/lib/tools.jar
make[5]: Entering directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/java'>
make[5]: `/www/secs-jenkins/java/jdk1.8.0/lib/tools.jar' is up to date.
make[5]: Leaving directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/java'>
make[4]: Leaving directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/java'>
<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/../../../../checker-framework/configurations/axis-jdk/JDK_8/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
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
Memory pool Code Cache statistics
Memory pool Code Cache statistics
Pool type: Non-heap memory
Memory pool Code Cache statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 37064704(36196K) committed = 37683200(36800K) max = 251658240(245760K)
Peak usage: init = 2555904(2496K) used = 37064704(36196K) committed = 37683200(36800K) max = 251658240(245760K)
Peak usage: init = 2555904(2496K) used = 37064704(36196K) committed = 37683200(36800K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Pool type: Non-heap memory
Pool type: Non-heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20634472(20150K) committed = 21102592(20608K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1899912(1855K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 678952960(663040K) committed = 678952960(663040K) max = 681574400(665600K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 67094344(65521K) committed = 94896128(92672K) max = 94896128(92672K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 425437624(415466K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 0(0K) used = 20634128(20150K) committed = 21102592(20608K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Memory pool Metaspace statistics
Peak usage: init = 2555904(2496K) used = 37064704(36196K) committed = 37683200(36800K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20634976(20151K) committed = 21102592(20608K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1899912(1855K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Pool type: Non-heap memory
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20634976(20151K) committed = 21102592(20608K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1899912(1855K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 678952960(663040K) committed = 678952960(663040K) max = 681574400(665600K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 2555904(2496K) used = 37069504(36200K) committed = 37683200(36800K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20634976(20151K) committed = 21102592(20608K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1899912(1855K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 678952960(663040K) committed = 678952960(663040K) max = 681574400(665600K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 67094344(65521K) committed = 94896128(92672K) max = 94896128(92672K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 0(0K) used = 1899912(1855K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 678952960(663040K) committed = 678952960(663040K) max = 681574400(665600K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 67094344(65521K) committed = 94896128(92672K) max = 94896128(92672K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 425437624(415466K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 2555904(2496K) used = 37065280(36196K) committed = 37683200(36800K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20634976(20151K) committed = 21102592(20608K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1899912(1855K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 678952960(663040K) committed = 678952960(663040K) max = 681574400(665600K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 67094344(65521K) committed = 94896128(92672K) max = 94896128(92672K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 425437624(415466K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 2555904(2496K) used = 37064704(36196K) committed = 37683200(36800K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20636544(20152K) committed = 21102592(20608K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1899912(1855K) committed = 1966080(1920K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 678952960(663040K) committed = 678952960(663040K) max = 681574400(665600K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 67094344(65521K) committed = 94896128(92672K) max = 94896128(92672K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 425437624(415466K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 1056964608(1032192K) used = 425437624(415466K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 66060288(64512K) used = 67094344(65521K) committed = 94896128(92672K) max = 94896128(92672K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 425437624(415466K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 396361728(387072K) used = 678952960(663040K) committed = 678952960(663040K) max = 681574400(665600K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 67094344(65521K) committed = 94896128(92672K) max = 94896128(92672K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 425437624(415466K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
src/plume/UtilMDE.java:198: error: cannot access InflaterInputStream
bad class file: /www/secs-jenkins/jenkins-home/jobs/checker-framework/configurations/axis-jdk/JDK_8/builds/1135/archive/checker/dist/jdk8.jar(java/util/zip/InflaterInputStream.class)
unable to access file: /www/secs-jenkins/jenkins-home/jobs/checker-framework/configurations/axis-jdk/JDK_8/builds/1135/archive/checker/dist/jdk8.jar (No such file or directory)
Please remove or make sure it appears in the correct subdirectory of the classpath.
in = new GZIPInputStream(new FileInputStream(file));
^
1 error
make[3]: *** [.class-files-timestamp] Error 1
make[3]: Leaving directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/java'>
make[2]: *** [.optionsdoc-timestamp] Error 2
make[2]: Leaving directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/java'>
make[1]: *** [plume.jar] Error 2
make[1]: Leaving directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/java'>
make: *** [typecheck] Error 2
make: Leaving directory `<
http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_8/ws/java'>
Build step 'Execute shell' marked build as failure
[WARNINGS] Skipping publisher since build result is FAILURE