Build failed in Jenkins: plume-lib-typecheck ยป Local_jdk8u #1214

0 views
Skip to first unread message

zab...@gmail.com

unread,
Oct 20, 2016, 6:53:27โ€ฏPM10/20/16
to plume-...@googlegroups.com, checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/1214/changes>

Changes:

[Michael Ernst] Uncomment sgrep routine

------------------------------------------
Started by upstream project "plume-lib-typecheck" build number 1214
originally caused by:
Started by upstream project "plume-lib" build number 319
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 c9529532ed2663ad8c33b60687a9e0c465d51554 (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 c9529532ed2663ad8c33b60687a9e0c465d51554
> /www/secs-jenkins/tools/git-2.4.5/git rev-list b840a528352bcbc4479194e943600123b5b32c54 # timeout=10
[Local_jdk8u] $ /bin/sh -xe /tmp/hudson1875202034300207180.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/hudson6362494189336535281.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
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 = 39860416(38926K) committed = 40632320(39680K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20043968(19574K) committed = 20447232(19968K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1766456(1725K) committed = 1835008(1792K) 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 = 66961776(65392K) committed = 92274688(90112K) max = 92274688(90112K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 981105048(958110K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 39860416(38926K) committed = 40632320(39680K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 39860416(38926K) committed = 40632320(39680K) max = 251658240(245760K)
Peak usage: init = 2555904(2496K) used = 39860416(38926K) committed = 40632320(39680K) max = 251658240(245760K)
Peak usage: init = 2555904(2496K) used = 39860416(38926K) committed = 40632320(39680K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 39860416(38926K) committed = 40632320(39680K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 39860416(38926K) committed = 40632320(39680K) max = 251658240(245760K)
Memory pool Metaspace statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 20044440(19574K) committed = 20447232(19968K) max = -1(-1K)
Peak usage: init = 0(0K) used = 20044440(19574K) committed = 20447232(19968K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1766456(1725K) committed = 1835008(1792K) max = 1073741824(1048576K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 0(0K) used = 20044440(19574K) committed = 20447232(19968K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1766456(1725K) committed = 1835008(1792K) 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 = 0(0K) used = 1766456(1725K) committed = 1835008(1792K) 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 = 66961776(65392K) committed = 92274688(90112K) max = 92274688(90112K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 981105048(958110K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 0(0K) used = 20044440(19574K) committed = 20447232(19968K) max = -1(-1K)
Peak usage: init = 0(0K) used = 20044440(19574K) committed = 20447232(19968K) max = -1(-1K)
Peak usage: init = 0(0K) used = 20044440(19574K) committed = 20447232(19968K) max = -1(-1K)
Memory pool Compressed Class Space statistics
Memory pool Compressed Class Space statistics
Pool type: Non-heap memory
Peak usage: init = 66060288(64512K) used = 66961776(65392K) committed = 92274688(90112K) max = 92274688(90112K)
Memory pool PS Old Gen statistics
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 = 66961776(65392K) committed = 92274688(90112K) max = 92274688(90112K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 981105048(958110K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Pool type: Non-heap memory
Pool type: Heap memory
Peak usage: init = 0(0K) used = 1766456(1725K) committed = 1835008(1792K) max = 1073741824(1048576K)
Memory pool Compressed Class Space statistics
Memory pool PS Eden Space statistics
Pool type: Heap memory
Pool type: Non-heap memory
Peak usage: init = 0(0K) used = 1766456(1725K) committed = 1835008(1792K) 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 = 66961776(65392K) committed = 92274688(90112K) max = 92274688(90112K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 981105048(958110K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
Peak usage: init = 0(0K) used = 1766456(1725K) committed = 1835008(1792K) max = 1073741824(1048576K)
Peak usage: init = 1056964608(1032192K) used = 981105048(958110K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
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 = 66961776(65392K) committed = 92274688(90112K) max = 92274688(90112K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 981105048(958110K) 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 = 66961776(65392K) committed = 92274688(90112K) max = 92274688(90112K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1056964608(1032192K) used = 981105048(958110K) committed = 1056964608(1032192K) max = 1398276096(1365504K)
touch .class-files-timestamp
set JAVA_COMPILER=NONE; java -ea -cp .:src:..:lib/bcel.jar:lib/backport-util-concurrent-3.1.jar:lib/checker-qual-2.1.1.jar:lib/commons-codec-1.10.jar:lib/commons-io-2.5.jar:lib/commons-lang-2.6.jar:lib/commons-lang3-3.4.jar:lib/commons-logging-1.2.jar:lib/guava-19.0.jar:lib/hamcrest-core-1.3.jar:lib/ical4j-1.0.6.jar:lib/ini4j-0.5.4.jar:lib/junit-4.12.jar:lib/svnkit-1.8.10-complete.jar:lib/tagsoup-1.2.1.jar:lib/xom-1.2.10.jar:/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//lib/tools.jar:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/checker/build>:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/checker/dist/checker.jar>:lib/junit-4.12.jar:lib/hamcrest-core-1.3.jar org.junit.runner.JUnitCore plume.TestPlume
JUnit version 4.12
..........................
Time: 4.796

OK (26 tests)

touch .test-timestamp
make[3]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
javadoc -quiet -docletpath ".:src:..:lib/bcel.jar:lib/backport-util-concurrent-3.1.jar:lib/checker-qual-2.1.1.jar:lib/commons-codec-1.10.jar:lib/commons-io-2.5.jar:lib/commons-lang-2.6.jar:lib/commons-lang3-3.4.jar:lib/commons-logging-1.2.jar:lib/guava-19.0.jar:lib/hamcrest-core-1.3.jar:lib/ical4j-1.0.6.jar:lib/ini4j-0.5.4.jar:lib/junit-4.12.jar:lib/svnkit-1.8.10-complete.jar:lib/tagsoup-1.2.1.jar:lib/xom-1.2.10.jar:/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//lib/tools.jar:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/checker/build>:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/checker/dist/checker.jar"> -doclet plume.OptionsDoclet -format javadoc -i -docfile src/plume/Lookup.java src/plume/Lookup.java
/usr/bin/dos2unix --quiet src/plume/Lookup.java
make lookup.html lookup.txt
make[3]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
javadoc -docletpath ".:src:..:lib/bcel.jar:lib/backport-util-concurrent-3.1.jar:lib/checker-qual-2.1.1.jar:lib/commons-codec-1.10.jar:lib/commons-io-2.5.jar:lib/commons-lang-2.6.jar:lib/commons-lang3-3.4.jar:lib/commons-logging-1.2.jar:lib/guava-19.0.jar:lib/hamcrest-core-1.3.jar:lib/ical4j-1.0.6.jar:lib/ini4j-0.5.4.jar:lib/junit-4.12.jar:lib/svnkit-1.8.10-complete.jar:lib/tagsoup-1.2.1.jar:lib/xom-1.2.10.jar:/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//lib/tools.jar:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/checker/build>:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/checker/dist/checker.jar"> -J-ea -quiet -doclet plume.OptionsDoclet -classdoc src/plume/Lookup.java > lookup.html
cat lookup.html > lookup.txt
make[3]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
javadoc -quiet -docletpath ".:src:..:lib/bcel.jar:lib/backport-util-concurrent-3.1.jar:lib/checker-qual-2.1.1.jar:lib/commons-codec-1.10.jar:lib/commons-io-2.5.jar:lib/commons-lang-2.6.jar:lib/commons-lang3-3.4.jar:lib/commons-logging-1.2.jar:lib/guava-19.0.jar:lib/hamcrest-core-1.3.jar:lib/ical4j-1.0.6.jar:lib/ini4j-0.5.4.jar:lib/junit-4.12.jar:lib/svnkit-1.8.10-complete.jar:lib/tagsoup-1.2.1.jar:lib/xom-1.2.10.jar:/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//lib/tools.jar:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/checker/build>:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/checker/dist/checker.jar"> -doclet plume.OptionsDoclet -format javadoc -i -docfile src/plume/ICalAvailable.java src/plume/ICalAvailable.java
/usr/bin/dos2unix --quiet src/plume/ICalAvailable.java
javadoc -quiet -docletpath ".:src:..:lib/bcel.jar:lib/backport-util-concurrent-3.1.jar:lib/checker-qual-2.1.1.jar:lib/commons-codec-1.10.jar:lib/commons-io-2.5.jar:lib/commons-lang-2.6.jar:lib/commons-lang3-3.4.jar:lib/commons-logging-1.2.jar:lib/guava-19.0.jar:lib/hamcrest-core-1.3.jar:lib/ical4j-1.0.6.jar:lib/ini4j-0.5.4.jar:lib/junit-4.12.jar:lib/svnkit-1.8.10-complete.jar:lib/tagsoup-1.2.1.jar:lib/xom-1.2.10.jar:/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//lib/tools.jar:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/checker/build>:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/checker/dist/checker.jar"> -doclet plume.OptionsDoclet -format javadoc -i -docfile src/plume/MultiVersionControl.java src/plume/MultiVersionControl.java
/usr/bin/dos2unix --quiet src/plume/MultiVersionControl.java
javadoc -quiet -docletpath ".:src:..:lib/bcel.jar:lib/backport-util-concurrent-3.1.jar:lib/checker-qual-2.1.1.jar:lib/commons-codec-1.10.jar:lib/commons-io-2.5.jar:lib/commons-lang-2.6.jar:lib/commons-lang3-3.4.jar:lib/commons-logging-1.2.jar:lib/guava-19.0.jar:lib/hamcrest-core-1.3.jar:lib/ical4j-1.0.6.jar:lib/ini4j-0.5.4.jar:lib/junit-4.12.jar:lib/svnkit-1.8.10-complete.jar:lib/tagsoup-1.2.1.jar:lib/xom-1.2.10.jar:/www/secs-jenkins/jenkins-home/jobs/jdk8u/lastSuccessful/archive/build/linux-x86_64-normal-server-release/images/j2sdk-image//lib/tools.jar:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/checker/build>:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/../../../../checker-framework/configurations/axis-jdk/Local_jdk8u/lastSuccessful/archive/checker/dist/checker.jar"> -doclet plume.OptionsDoclet -format javadoc -i -docfile src/plume/TaskManager.java src/plume/TaskManager.java
/usr/bin/dos2unix --quiet src/plume/TaskManager.java
touch .optionsdoc-timestamp
make[2]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make compile
make[2]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make tools_jar_exists
make[3]: 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[4]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make[4]: `/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[4]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=Local_jdk8u/ws/java'>
make[3]: 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
/bin/sh: <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>: Permission denied
make[2]: *** [.class-files-timestamp] Error 126
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

zab...@gmail.com

unread,
Oct 20, 2016, 7:18:05โ€ฏPM10/20/16
to plume-...@googlegroups.com, checker-fr...@googlegroups.com
Reply all
Reply to author
Forward
0 new messages