SuccessConsole Output

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 Type Checker 2.6.1-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ typechecker ---
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-development/core/typechecker' for files matching the pattern '**/*.java' - excludes: 
[TASKS] Found 144 files to scan for tasks
Found 71 open tasks.
[TASKS] Computing warning deltas based on reference build #199
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ typechecker ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-development/.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-development/core/typechecker/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) @ typechecker ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ typechecker ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 132 source files to /var/lib/jenkins/workspace/overture-development/core/typechecker/target/classes
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/utilities/type/IsOrderedVisitor.java:[3,52] com.sun.org.apache.xpath.internal.operations.Bool is internal proprietary API and may be removed in a future release
[INFO] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java: Some input files use unchecked or unsafe operations.
[INFO] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java: Recompile with -Xlint:unchecked for details.
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ typechecker ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2043 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ typechecker ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 12 source files to /var/lib/jenkins/workspace/overture-development/core/typechecker/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ typechecker ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest
Tests run: 74, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.469 sec - in org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest
Running org.overture.typechecker.tests.external.ExternalClassesPpTypeCheckTest
Tests run: 485, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.361 sec - in org.overture.typechecker.tests.external.ExternalClassesPpTypeCheckTest
Running org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest
Tests run: 1216, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 6.364 sec - in org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest
Running org.overture.typechecker.tests.ClassesRtTypeCheckTest
Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.146 sec - in org.overture.typechecker.tests.ClassesRtTypeCheckTest
Running org.overture.typechecker.tests.ClassesPpTypeCheckTest
Tests run: 47, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.39 sec - in org.overture.typechecker.tests.ClassesPpTypeCheckTest
Running org.overture.typechecker.tests.ModulesSlTypeCheckTest
Tests run: 73, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 7.491 sec - in org.overture.typechecker.tests.ModulesSlTypeCheckTest

Results :

Tests run: 1906, Failures: 0, Errors: 0, Skipped: 0

[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ typechecker ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/typechecker/target/typechecker-2.6.1-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ typechecker ---
[INFO] Analyzed bundle 'The VDM Type Checker' with 146 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ typechecker ---
[INFO] 
79 warnings
[WARNING] Javadoc Warnings
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeChecker.java:92: warning: no @param for defs
[WARNING] protected void cyclicDependencyCheck(List<PDefinition> defs)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/ClassTypeChecker.java:51: warning: no description for @param
[WARNING] * @param classes
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/ClassTypeChecker.java:63: warning: no description for @param
[WARNING] * @param classes
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/ClassTypeChecker.java:64: warning: no description for @param
[WARNING] * @param factory
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:70: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:82: warning: no @param for scope
[WARNING] protected void dupHideCheck(List<PDefinition> list, NameScope scope)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:170: warning: no description for @param
[WARNING] * @param name
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:171: warning: no description for @param
[WARNING] * @param scope
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:172: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:179: warning: no description for @param
[WARNING] * @param name
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:180: warning: no description for @param
[WARNING] * @param fromModule
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:181: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:188: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:195: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:202: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:212: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:219: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:226: warning: no description for @param
[WARNING] * @param name
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:227: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:240: warning: no description for @param
[WARNING] * @param name
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:256: warning: no description for @param
[WARNING] * @param downTo
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:57: warning: no description for @param
[WARNING] * @param af
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:58: warning: no description for @param
[WARNING] * @param outer
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/ModuleTypeChecker.java:61: warning: no description for @param
[WARNING] * @param modules
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:76: warning: no description for @param
[WARNING] * @param <T>
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:77: warning: no description for @param
[WARNING] * @param key
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:78: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:97: warning: no description for @param
[WARNING] * @param <T>
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:98: warning: no description for @param
[WARNING] * @param key
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:99: warning: no description for @param
[WARNING] * @param value
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:118: warning: no description for @param
[WARNING] * @param <T>
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:119: warning: no description for @param
[WARNING] * @param key
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:130: warning: no description for @param
[WARNING] * @param to
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:131: warning: no description for @param
[WARNING] * @param from
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:151: warning: no description for @param
[WARNING] * @param to
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:152: warning: no description for @param
[WARNING] * @param from
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:530: warning: no description for @param
[WARNING] * @param sub
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:531: warning: no description for @param
[WARNING] * @param sup
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:932: warning: no description for @param
[WARNING] * @param type
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:933: warning: no description for @param
[WARNING] * @param env
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:934: warning: no description for @param
[WARNING] * @param newTypes
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:935: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1020: warning: no description for @param
[WARNING] * @param a
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1021: warning: no description for @param
[WARNING] * @param b
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1022: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1127: warning: no @param for t1
[WARNING] public synchronized List<PType> narrowest(List<PType> t1, List<PType> t2)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1127: warning: no @param for t2
[WARNING] public synchronized List<PType> narrowest(List<PType> t1, List<PType> t2)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1127: warning: no @return
[WARNING] public synchronized List<PType> narrowest(List<PType> t1, List<PType> t2)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/PDefinitionAssistantTC.java:396: warning: no description for @param
[WARNING] * @param d
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/PDefinitionAssistantTC.java:397: warning: no description for @param
[WARNING] * @param defs
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/PDefinitionAssistantTC.java:398: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/assistant/module/AModuleModulesAssistantTC.java:52: warning: no description for @param
[WARNING] * @param m
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/PPatternAssistantTC.java:56: warning: no description for @param
[WARNING] * @param rp
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/PPatternAssistantTC.java:57: warning: no description for @param
[WARNING] * @param ptype
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/PPatternAssistantTC.java:58: warning: no description for @param
[WARNING] * @param scope
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/PPatternAssistantTC.java:59: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/assistant/type/AClassTypeAssistantTC.java:71: warning: no @param for def
[WARNING] public boolean isConstructor(PDefinition def)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/assistant/type/AClassTypeAssistantTC.java:71: warning: no @return
[WARNING] public boolean isConstructor(PDefinition def)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/assistant/type/AClassTypeAssistantTC.java:95: warning: no @param for env
[WARNING] public boolean inConstructor(Environment env)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/assistant/type/AClassTypeAssistantTC.java:95: warning: no @return
[WARNING] public boolean inConstructor(Environment env)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:185: warning: no description for @param
[WARNING] * @param node
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:186: warning: no description for @param
[WARNING] * @param localDefs
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:187: warning: no description for @param
[WARNING] * @param body
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:188: warning: no description for @param
[WARNING] * @param question
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:189: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:190: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:235: warning: no description for @param
[WARNING] * @param node
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:236: warning: no description for @param
[WARNING] * @param nodeLocation
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:237: warning: no description for @param
[WARNING] * @param bind
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:238: warning: no description for @param
[WARNING] * @param suchThat
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:239: warning: no description for @param
[WARNING] * @param body
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:240: warning: no description for @param
[WARNING] * @param question
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:242: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:2942: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:2964: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:3627: warning: no description for @param
[WARNING] * @param node
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:3628: warning: no description for @param
[WARNING] * @param measure
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:3629: warning: no description for @param
[WARNING] * @param close
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-development/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:3630: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[INFO] Building jar: /var/lib/jenkins/workspace/overture-development/core/typechecker/target/typechecker-2.6.1-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ typechecker ---
[INFO] Disabled
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ typechecker ---
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/typechecker/target/typechecker-2.6.1-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/typechecker/2.6.1-SNAPSHOT/typechecker-2.6.1-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/typechecker/pom.xml to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/typechecker/2.6.1-SNAPSHOT/typechecker-2.6.1-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-development/core/typechecker/target/typechecker-2.6.1-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overture-development/.repository/org/overturetool/core/typechecker/2.6.1-SNAPSHOT/typechecker-2.6.1-SNAPSHOT-javadoc.jar