Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building The VDM Pretty Printer 2.6.5-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ prettyprinter --- [TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter' for files matching the pattern '**/*.java' - excludes: **/target/* [TASKS] Found 4 files to scan for tasks Found 6 open tasks. [TASKS] Computing warning deltas based on reference build #199 [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ prettyprinter --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-test/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ prettyprinter --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/src/main/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ prettyprinter --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 4 source files to /var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/target/classes [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/src/main/java/org/overture/prettyprinter/TypePrettyPrinterVisitor.java]] [parsing completed 2ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/src/main/java/org/overture/prettyprinter/PrettyPrinterVisitorDefinitions.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/src/main/java/org/overture/prettyprinter/PrettyPrinterEnv.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/src/main/java/org/overture/prettyprinter/PrettyPrinterVisitor.java]] [parsing completed 0ms] [search path for source files: /var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/src/main/java,/var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/target/generated-sources/annotations] [search path for class files: /usr/lib/jvm/java-8-oracle/jre/lib/resources.jar,/usr/lib/jvm/java-8-oracle/jre/lib/rt.jar,/usr/lib/jvm/java-8-oracle/jre/lib/sunrsasign.jar,/usr/lib/jvm/java-8-oracle/jre/lib/jsse.jar,/usr/lib/jvm/java-8-oracle/jre/lib/jce.jar,/usr/lib/jvm/java-8-oracle/jre/lib/charsets.jar,/usr/lib/jvm/java-8-oracle/jre/lib/jfr.jar,/usr/lib/jvm/java-8-oracle/jre/classes,/usr/lib/jvm/java-8-oracle/jre/lib/ext/jfxrt.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/nashorn.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/sunjce_provider.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/sunec.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/cldrdata.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/sunpkcs11.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/localedata.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/dnsns.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/jaccess.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/zipfs.jar,/var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/target/classes,/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar,.] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/List.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Vector.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/AnalysisException.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/QuestionAnswerAdaptor.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexNameToken.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/INode.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AInMapMapType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AMapMapType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ANamedInvariantType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AOptionalType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AProductType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ARecordInvariantType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ASeq1SeqType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ASeqSeqType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SSetType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AUnionType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AVoidReturnType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AVoidType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/PType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SBasicType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SInvariantType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/util/Utils.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Object.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/String.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/intf/IQuestionAnswer.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/StringBuilder.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Iterator.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/LinkedList.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AClassClassDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AExplicitFunctionDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AExplicitOperationDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AInstanceVariableDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/ATypeDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AValueDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/PDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AUndefinedExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/PExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PPattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/typechecker/NameScope.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AFieldField.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AFunctionType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AOperationType.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/StringBuffer.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Class.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Override.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Annotation.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Target.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/ElementType.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Retention.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/RetentionPolicy.class)]] [checking org.overture.prettyprinter.TypePrettyPrinterVisitor] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Serializable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Error.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Exception.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Throwable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/RuntimeException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/AutoCloseable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Boolean.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Byte.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Character.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Short.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Long.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Float.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Integer.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Double.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/intf/IQuestion.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/intf/IAnswer.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Comparable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/CharSequence.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SSeqTypeBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SSeqType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/PTypeBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/Node.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Cloneable.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SMapTypeBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SMapType.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Collection.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractList.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractCollection.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Iterable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractSequentialList.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Void.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SInvariantTypeBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexIdentifierToken.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexToken.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Deque.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Queue.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/AbstractStringBuilder.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Appendable.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/target/classes/org/overture/prettyprinter/TypePrettyPrinterVisitor.class]] [checking org.overture.prettyprinter.PrettyPrinterEnv] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/target/classes/org/overture/prettyprinter/PrettyPrinterEnv.class]] [checking org.overture.prettyprinter.PrettyPrinterVisitorDefinitions] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SClassDefinitionBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SClassDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/PDefinitionBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SOperationDefinitionBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SFunctionDefinitionBase.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/GenericDeclaration.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/AnnotatedElement.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/Type.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AAccessSpecifierAccessSpecifier.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/PAccessSpecifierBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/PAccessSpecifier.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/PAccess.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/PFieldBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/PField.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SOperationDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SFunctionDefinition.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Enum.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/target/classes/org/overture/prettyprinter/PrettyPrinterVisitorDefinitions.class]] [checking org.overture.prettyprinter.PrettyPrinterVisitor] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/target/classes/org/overture/prettyprinter/PrettyPrinterVisitor.class]] [total 139ms] [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ prettyprinter --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/src/test/resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ prettyprinter --- [INFO] No sources to compile [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ prettyprinter --- [INFO] No tests to run. [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ prettyprinter --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/target/prettyprinter-2.6.5-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ prettyprinter --- [INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/target/coverage-reports/jacoco-unit.exec [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ prettyprinter --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/target/prettyprinter-2.6.5-SNAPSHOT-javadoc.jar [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ prettyprinter --- [INFO] Installing /var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/target/prettyprinter-2.6.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/prettyprinting/prettyprinter/2.6.5-SNAPSHOT/prettyprinter-2.6.5-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/pom.xml to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/prettyprinting/prettyprinter/2.6.5-SNAPSHOT/prettyprinter-2.6.5-SNAPSHOT.pom [INFO] Installing /var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/target/prettyprinter-2.6.5-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/prettyprinting/prettyprinter/2.6.5-SNAPSHOT/prettyprinter-2.6.5-SNAPSHOT-javadoc.jar