Build failed in Jenkins: plume-lib-typecheck » JDK_7 #1033
0 views
Skip to first unread message
zab...@gmail.com
Jul 20, 2016, 7:48:44 AM7/20/16
to plume-...@googlegroups.com, checker-fr...@googlegroups.com
See <http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/1033/changes>
Changes:
[Michael Ernst] Don't assume preplace is on the path
------------------------------------------
[...truncated 89 lines...]
Memory pool Code Cache statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 13224320(12914K) committed = 13369344(13056K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Peak usage: init = 2555904(2496K) used = 13224320(12914K) committed = 13369344(13056K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 2555904(2496K) used = 13224320(12914K) committed = 13369344(13056K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
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 = 2555904(2496K) used = 13224320(12914K) committed = 13369344(13056K) max = 50331648(49152K)
Peak usage: init = 2555904(2496K) used = 13224320(12914K) committed = 13369344(13056K) max = 50331648(49152K)
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 = 67228560(65652K) committed = 92798976(90624K) max = 92798976(90624K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 2555904(2496K) used = 13224320(12914K) committed = 13369344(13056K) 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)
Pool type: Heap memory
Peak usage: init = 2555904(2496K) used = 13224320(12914K) committed = 13369344(13056K) 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
Memory pool PS Survivor Space statistics
Peak usage: init = 66060288(64512K) used = 67228560(65652K) committed = 92798976(90624K) max = 92798976(90624K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 683671552(667648K)
Peak usage: init = 1055916032(1031168K) used = 1051880824(1027227K) committed = 1163919360(1136640K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 1055916032(1031168K) used = 1051880824(1027227K) committed = 1163919360(1136640K) 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 = 66060288(64512K) used = 67228560(65652K) committed = 92798976(90624K) max = 92798976(90624K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1051880824(1027227K) committed = 1163919360(1136640K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18921088(18477K) committed = 42467328(41472K) max = 174063616(169984K)
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 683671552(667648K)
Peak usage: init = 22020096(21504K) used = 18919640(18476K) committed = 42467328(41472K) max = 174063616(169984K)
Peak usage: init = 22020096(21504K) used = 18919640(18476K) committed = 42467328(41472K) max = 174063616(169984K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
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 = 67228560(65652K) committed = 92798976(90624K) max = 92798976(90624K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 67228560(65652K) committed = 92798976(90624K) max = 92798976(90624K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1051880824(1027227K) committed = 1163919360(1136640K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 1055916032(1031168K) used = 1051880824(1027227K) committed = 1163919360(1136640K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 66060288(64512K) used = 67228560(65652K) committed = 92798976(90624K) max = 92798976(90624K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 22020096(21504K) used = 18921088(18477K) committed = 42467328(41472K) max = 174063616(169984K)
Peak usage: init = 22020096(21504K) used = 18921088(18477K) committed = 42467328(41472K) max = 174063616(169984K)
Peak usage: init = 66060288(64512K) used = 67228560(65652K) committed = 92798976(90624K) max = 92798976(90624K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1051880824(1027227K) committed = 1163919360(1136640K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 1055916032(1031168K) used = 1051880824(1027227K) committed = 1163919360(1136640K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18921088(18477K) committed = 42467328(41472K) max = 174063616(169984K)
Peak usage: init = 22020096(21504K) used = 18921088(18477K) committed = 42467328(41472K) max = 174063616(169984K)
touch .class-files-timestamp
set JAVA_COMPILER=NONE; java -ea -cp .:src:..:lib/bcel.jar:lib/checker-qual.jar:lib/backport-util-concurrent-3.1.jar:lib/commons-codec-1.10.jar:lib/commons-io-2.4.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/java/jdk1.7.0/lib/tools.jar:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/lastSuccessful/archive/checker/build>:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/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: 3.835
OK (26 tests)
touch .test-timestamp
make[3]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
javadoc -quiet -docletpath ".:src:..:lib/bcel.jar:lib/checker-qual.jar:lib/backport-util-concurrent-3.1.jar:lib/commons-codec-1.10.jar:lib/commons-io-2.4.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/java/jdk1.7.0/lib/tools.jar:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/lastSuccessful/archive/checker/build>:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/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=JDK_7/ws/java'>
javadoc -docletpath ".:src:..:lib/bcel.jar:lib/checker-qual.jar:lib/backport-util-concurrent-3.1.jar:lib/commons-codec-1.10.jar:lib/commons-io-2.4.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/java/jdk1.7.0/lib/tools.jar:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/lastSuccessful/archive/checker/build>:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/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=JDK_7/ws/java'>
javadoc -quiet -docletpath ".:src:..:lib/bcel.jar:lib/checker-qual.jar:lib/backport-util-concurrent-3.1.jar:lib/commons-codec-1.10.jar:lib/commons-io-2.4.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/java/jdk1.7.0/lib/tools.jar:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/lastSuccessful/archive/checker/build>:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/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/checker-qual.jar:lib/backport-util-concurrent-3.1.jar:lib/commons-codec-1.10.jar:lib/commons-io-2.4.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/java/jdk1.7.0/lib/tools.jar:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/lastSuccessful/archive/checker/build>:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/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/checker-qual.jar:lib/backport-util-concurrent-3.1.jar:lib/commons-codec-1.10.jar:lib/commons-io-2.4.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/java/jdk1.7.0/lib/tools.jar:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/lastSuccessful/archive/checker/build>:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/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=JDK_7/ws/java'>
make compile
make[2]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
make tools_jar_exists
make[3]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
make /www/secs-jenkins/java/jdk1.7.0/lib/tools.jar
make[4]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
make[4]: `/www/secs-jenkins/java/jdk1.7.0/lib/tools.jar' is up to date.
make[4]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
make[3]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/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
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 13378304(13064K) committed = 13893632(13568K) 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 = 684195840(668160K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 64923088(63401K) committed = 89653248(87552K) max = 89653248(87552K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1047112488(1022570K) committed = 1207959552(1179648K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18952280(18508K) committed = 42467328(41472K) 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
Peak usage: init = 2555904(2496K) used = 13378304(13064K) committed = 13893632(13568K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 2555904(2496K) used = 13378304(13064K) committed = 13893632(13568K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Memory pool Code Cache statistics
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 684195840(668160K)
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 684195840(668160K)
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 13378304(13064K) committed = 13893632(13568K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 2555904(2496K) used = 13378304(13064K) committed = 13893632(13568K) max = 50331648(49152K)
Peak usage: init = 2555904(2496K) used = 13378304(13064K) committed = 13893632(13568K) 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 = 684195840(668160K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 684195840(668160K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Memory pool PS Survivor Space statistics
Peak usage: init = 66060288(64512K) used = 64923088(63401K) committed = 89653248(87552K) max = 89653248(87552K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 2555904(2496K) used = 13378304(13064K) committed = 13893632(13568K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Memory pool PS Old Gen statistics
Peak usage: init = 66060288(64512K) used = 64923088(63401K) committed = 89653248(87552K) max = 89653248(87552K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 64923088(63401K) committed = 89653248(87552K) max = 89653248(87552K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Memory pool PS Eden Space statistics
Peak usage: init = 1055916032(1031168K) used = 1047112488(1022570K) committed = 1207959552(1179648K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 1055916032(1031168K) used = 1047112488(1022570K) committed = 1207959552(1179648K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 66060288(64512K) used = 64923088(63401K) committed = 89653248(87552K) max = 89653248(87552K)
Peak usage: init = 22020096(21504K) used = 18953728(18509K) committed = 42467328(41472K) max = 174063616(169984K)
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 684195840(668160K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1047112488(1022570K) committed = 1207959552(1179648K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 22020096(21504K) used = 18953728(18509K) committed = 42467328(41472K) max = 174063616(169984K)
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 684195840(668160K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 64923088(63401K) committed = 89653248(87552K) max = 89653248(87552K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1047112488(1022570K) committed = 1207959552(1179648K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18953728(18509K) committed = 42467328(41472K) max = 174063616(169984K)
Peak usage: init = 1055916032(1031168K) used = 1047112488(1022570K) committed = 1207959552(1179648K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18953728(18509K) committed = 42467328(41472K) max = 174063616(169984K)
Peak usage: init = 66060288(64512K) used = 64923088(63401K) committed = 89653248(87552K) max = 89653248(87552K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1047112488(1022570K) committed = 1207959552(1179648K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18953728(18509K) committed = 42467328(41472K) max = 174063616(169984K)
Peak usage: init = 22020096(21504K) used = 18953728(18509K) committed = 42467328(41472K) max = 174063616(169984K)
src/plume/WeakIdentityHashMap.java:826: error: cannot access IllegalStateException
bad class file: /www/secs-jenkins/jenkins-home/jobs/checker-framework/configurations/axis-jdk/JDK_7/builds/1126/archive/checker/dist/jdk7.jar(java/lang/IllegalStateException.class)
unable to access file: /www/secs-jenkins/jenkins-home/jobs/checker-framework/configurations/axis-jdk/JDK_7/builds/1126/archive/checker/dist/jdk7.jar (No such file or directory)
Please remove or make sure it appears in the correct subdirectory of the classpath.
throw new IllegalStateException();
^
1 error
make[2]: *** [.class-files-timestamp] Error 1
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
Changes:
[Michael Ernst] Don't assume preplace is on the path
------------------------------------------
[...truncated 89 lines...]
Memory pool Code Cache statistics
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 13224320(12914K) committed = 13369344(13056K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Peak usage: init = 2555904(2496K) used = 13224320(12914K) committed = 13369344(13056K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 2555904(2496K) used = 13224320(12914K) committed = 13369344(13056K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
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 = 2555904(2496K) used = 13224320(12914K) committed = 13369344(13056K) max = 50331648(49152K)
Peak usage: init = 2555904(2496K) used = 13224320(12914K) committed = 13369344(13056K) max = 50331648(49152K)
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 = 67228560(65652K) committed = 92798976(90624K) max = 92798976(90624K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 2555904(2496K) used = 13224320(12914K) committed = 13369344(13056K) 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)
Pool type: Heap memory
Peak usage: init = 2555904(2496K) used = 13224320(12914K) committed = 13369344(13056K) 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
Memory pool PS Survivor Space statistics
Peak usage: init = 66060288(64512K) used = 67228560(65652K) committed = 92798976(90624K) max = 92798976(90624K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 683671552(667648K)
Peak usage: init = 1055916032(1031168K) used = 1051880824(1027227K) committed = 1163919360(1136640K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 1055916032(1031168K) used = 1051880824(1027227K) committed = 1163919360(1136640K) 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 = 66060288(64512K) used = 67228560(65652K) committed = 92798976(90624K) max = 92798976(90624K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1051880824(1027227K) committed = 1163919360(1136640K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18921088(18477K) committed = 42467328(41472K) max = 174063616(169984K)
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 683671552(667648K)
Peak usage: init = 22020096(21504K) used = 18919640(18476K) committed = 42467328(41472K) max = 174063616(169984K)
Peak usage: init = 22020096(21504K) used = 18919640(18476K) committed = 42467328(41472K) max = 174063616(169984K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
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 = 67228560(65652K) committed = 92798976(90624K) max = 92798976(90624K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 67228560(65652K) committed = 92798976(90624K) max = 92798976(90624K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1051880824(1027227K) committed = 1163919360(1136640K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 1055916032(1031168K) used = 1051880824(1027227K) committed = 1163919360(1136640K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 66060288(64512K) used = 67228560(65652K) committed = 92798976(90624K) max = 92798976(90624K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 22020096(21504K) used = 18921088(18477K) committed = 42467328(41472K) max = 174063616(169984K)
Peak usage: init = 22020096(21504K) used = 18921088(18477K) committed = 42467328(41472K) max = 174063616(169984K)
Peak usage: init = 66060288(64512K) used = 67228560(65652K) committed = 92798976(90624K) max = 92798976(90624K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1051880824(1027227K) committed = 1163919360(1136640K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 1055916032(1031168K) used = 1051880824(1027227K) committed = 1163919360(1136640K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18921088(18477K) committed = 42467328(41472K) max = 174063616(169984K)
Peak usage: init = 22020096(21504K) used = 18921088(18477K) committed = 42467328(41472K) max = 174063616(169984K)
touch .class-files-timestamp
set JAVA_COMPILER=NONE; java -ea -cp .:src:..:lib/bcel.jar:lib/checker-qual.jar:lib/backport-util-concurrent-3.1.jar:lib/commons-codec-1.10.jar:lib/commons-io-2.4.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/java/jdk1.7.0/lib/tools.jar:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/lastSuccessful/archive/checker/build>:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/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: 3.835
OK (26 tests)
touch .test-timestamp
make[3]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
javadoc -quiet -docletpath ".:src:..:lib/bcel.jar:lib/checker-qual.jar:lib/backport-util-concurrent-3.1.jar:lib/commons-codec-1.10.jar:lib/commons-io-2.4.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/java/jdk1.7.0/lib/tools.jar:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/lastSuccessful/archive/checker/build>:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/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=JDK_7/ws/java'>
javadoc -docletpath ".:src:..:lib/bcel.jar:lib/checker-qual.jar:lib/backport-util-concurrent-3.1.jar:lib/commons-codec-1.10.jar:lib/commons-io-2.4.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/java/jdk1.7.0/lib/tools.jar:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/lastSuccessful/archive/checker/build>:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/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=JDK_7/ws/java'>
javadoc -quiet -docletpath ".:src:..:lib/bcel.jar:lib/checker-qual.jar:lib/backport-util-concurrent-3.1.jar:lib/commons-codec-1.10.jar:lib/commons-io-2.4.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/java/jdk1.7.0/lib/tools.jar:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/lastSuccessful/archive/checker/build>:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/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/checker-qual.jar:lib/backport-util-concurrent-3.1.jar:lib/commons-codec-1.10.jar:lib/commons-io-2.4.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/java/jdk1.7.0/lib/tools.jar:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/lastSuccessful/archive/checker/build>:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/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/checker-qual.jar:lib/backport-util-concurrent-3.1.jar:lib/commons-codec-1.10.jar:lib/commons-io-2.4.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/java/jdk1.7.0/lib/tools.jar:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/lastSuccessful/archive/checker/build>:<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/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=JDK_7/ws/java'>
make compile
make[2]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
make tools_jar_exists
make[3]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
make /www/secs-jenkins/java/jdk1.7.0/lib/tools.jar
make[4]: Entering directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
make[4]: `/www/secs-jenkins/java/jdk1.7.0/lib/tools.jar' is up to date.
make[4]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
make[3]: Leaving directory `<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/java'>
<http://tern.cs.washington.edu:8080/job/plume-lib-typecheck/jdk=JDK_7/ws/../../../../checker-framework/configurations/axis-jdk/JDK_7/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
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 13378304(13064K) committed = 13893632(13568K) 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 = 684195840(668160K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 64923088(63401K) committed = 89653248(87552K) max = 89653248(87552K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1047112488(1022570K) committed = 1207959552(1179648K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18952280(18508K) committed = 42467328(41472K) 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
Peak usage: init = 2555904(2496K) used = 13378304(13064K) committed = 13893632(13568K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 2555904(2496K) used = 13378304(13064K) committed = 13893632(13568K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Memory pool Code Cache statistics
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 684195840(668160K)
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 684195840(668160K)
Pool type: Non-heap memory
Peak usage: init = 2555904(2496K) used = 13378304(13064K) committed = 13893632(13568K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Peak usage: init = 2555904(2496K) used = 13378304(13064K) committed = 13893632(13568K) max = 50331648(49152K)
Peak usage: init = 2555904(2496K) used = 13378304(13064K) committed = 13893632(13568K) 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 = 684195840(668160K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 684195840(668160K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Memory pool PS Survivor Space statistics
Peak usage: init = 66060288(64512K) used = 64923088(63401K) committed = 89653248(87552K) max = 89653248(87552K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 2555904(2496K) used = 13378304(13064K) committed = 13893632(13568K) max = 50331648(49152K)
Memory pool PS Eden Space statistics
Pool type: Heap memory
Memory pool PS Old Gen statistics
Peak usage: init = 66060288(64512K) used = 64923088(63401K) committed = 89653248(87552K) max = 89653248(87552K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 64923088(63401K) committed = 89653248(87552K) max = 89653248(87552K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Memory pool PS Eden Space statistics
Peak usage: init = 1055916032(1031168K) used = 1047112488(1022570K) committed = 1207959552(1179648K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 1055916032(1031168K) used = 1047112488(1022570K) committed = 1207959552(1179648K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 66060288(64512K) used = 64923088(63401K) committed = 89653248(87552K) max = 89653248(87552K)
Peak usage: init = 22020096(21504K) used = 18953728(18509K) committed = 42467328(41472K) max = 174063616(169984K)
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 684195840(668160K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1047112488(1022570K) committed = 1207959552(1179648K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 22020096(21504K) used = 18953728(18509K) committed = 42467328(41472K) max = 174063616(169984K)
Pool type: Heap memory
Peak usage: init = 396361728(387072K) used = 681574400(665600K) committed = 681574400(665600K) max = 684195840(668160K)
Memory pool PS Survivor Space statistics
Pool type: Heap memory
Peak usage: init = 66060288(64512K) used = 64923088(63401K) committed = 89653248(87552K) max = 89653248(87552K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1047112488(1022570K) committed = 1207959552(1179648K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18953728(18509K) committed = 42467328(41472K) max = 174063616(169984K)
Peak usage: init = 1055916032(1031168K) used = 1047112488(1022570K) committed = 1207959552(1179648K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18953728(18509K) committed = 42467328(41472K) max = 174063616(169984K)
Peak usage: init = 66060288(64512K) used = 64923088(63401K) committed = 89653248(87552K) max = 89653248(87552K)
Memory pool PS Old Gen statistics
Pool type: Heap memory
Peak usage: init = 1055916032(1031168K) used = 1047112488(1022570K) committed = 1207959552(1179648K) max = 1397751808(1364992K)
Memory pool PS Perm Gen statistics
Pool type: Non-heap memory
Peak usage: init = 22020096(21504K) used = 18953728(18509K) committed = 42467328(41472K) max = 174063616(169984K)
Peak usage: init = 22020096(21504K) used = 18953728(18509K) committed = 42467328(41472K) max = 174063616(169984K)
src/plume/WeakIdentityHashMap.java:826: error: cannot access IllegalStateException
bad class file: /www/secs-jenkins/jenkins-home/jobs/checker-framework/configurations/axis-jdk/JDK_7/builds/1126/archive/checker/dist/jdk7.jar(java/lang/IllegalStateException.class)
unable to access file: /www/secs-jenkins/jenkins-home/jobs/checker-framework/configurations/axis-jdk/JDK_7/builds/1126/archive/checker/dist/jdk7.jar (No such file or directory)
Please remove or make sure it appears in the correct subdirectory of the classpath.
throw new IllegalStateException();
^
1 error
make[2]: *** [.class-files-timestamp] Error 1
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
zab...@gmail.com
Jul 20, 2016, 8:11:16 AM7/20/16
to plume-...@googlegroups.com, checker-fr...@googlegroups.com
Reply all
Reply to author
Forward
0 new messages