Build: #9 failed

Job: Compile and Package Semantics Update Site failed

Stages & jobs

  1. Build KLighD Dependency

  2. Deploy KLighD Dependency

  3. Build Pragmatics Dependency

  4. Deploy Pragmatics Dependency

  5. Build Update Site

  6. Deploy Update Site

  7. Build Product

  8. Build Theia App

  9. Deploy Product

Build log

The build generated 40,609 lines of output.The output is too long and has been truncated to the last 1,000 lines. Download or view full build log.

10-Aug-2020 12:50:45 [INFO] --- target-platform-configuration:1.6.0:target-platform (default-target-platform) @ de.cau.cs.kieler.sccharts.legacy.ui ---
10-Aug-2020 12:50:45 [INFO]
10-Aug-2020 12:50:45 [INFO] --- tycho-packaging-plugin:1.6.0:package-plugin (default-package-plugin) @ de.cau.cs.kieler.sccharts.legacy.ui ---
10-Aug-2020 12:50:45 [INFO] Building jar: /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.sccharts.legacy.ui/target/de.cau.cs.kieler.sccharts.legacy.ui-1.2.0-SNAPSHOT.jar
10-Aug-2020 12:50:45 [INFO]
10-Aug-2020 12:50:45 [INFO] --- tycho-p2-plugin:1.6.0:p2-metadata-default (default-p2-metadata-default) @ de.cau.cs.kieler.sccharts.legacy.ui ---
10-Aug-2020 12:50:45 [INFO]                                                                         
10-Aug-2020 12:50:45 [INFO] ------------------------------------------------------------------------
10-Aug-2020 12:50:45 [INFO] Building de.cau.cs.kieler.verification 1.2.0-SNAPSHOT
10-Aug-2020 12:50:45 [INFO] ------------------------------------------------------------------------
10-Aug-2020 12:50:45 [INFO]
10-Aug-2020 12:50:45 [INFO] --- maven-clean-plugin:2.4.1:clean (default-clean) @ de.cau.cs.kieler.verification ---
10-Aug-2020 12:50:45 [INFO]
10-Aug-2020 12:50:45 [INFO] --- tycho-packaging-plugin:1.6.0:build-qualifier (default-build-qualifier) @ de.cau.cs.kieler.verification ---
10-Aug-2020 12:50:45 [INFO] The project's OSGi version is 1.2.0.202008101040
10-Aug-2020 12:50:45 [INFO]
10-Aug-2020 12:50:45 [INFO] --- tycho-packaging-plugin:1.6.0:validate-id (default-validate-id) @ de.cau.cs.kieler.verification ---
10-Aug-2020 12:50:45 [INFO]
10-Aug-2020 12:50:45 [INFO] --- tycho-packaging-plugin:1.6.0:validate-version (default-validate-version) @ de.cau.cs.kieler.verification ---
10-Aug-2020 12:50:45 [INFO]
10-Aug-2020 12:50:45 [INFO] --- maven-dependency-plugin:3.1.1:tree (tree) @ de.cau.cs.kieler.verification ---
10-Aug-2020 12:50:45 [INFO] Wrote dependency tree to: /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/dependencies.txt
10-Aug-2020 12:50:45 [INFO]
10-Aug-2020 12:50:45 [INFO] --- xtend-maven-plugin:2.21.0:compile (default) @ de.cau.cs.kieler.verification ---
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         SCChartsVerificationPropertyAnalyzer.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/sccharts/processors/verification/SCChartsVerificationPropertyAnalyzer.xtend
10-Aug-2020 12:50:47 46: The private modifier is unnecessary on field verificationProperties
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         SCChartsVerificationPropertyAnalyzer.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/sccharts/processors/verification/SCChartsVerificationPropertyAnalyzer.xtend
10-Aug-2020 12:50:47 47: The private modifier is unnecessary on field verificationAssumptions
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         SCChartsVerificationPropertyAnalyzer.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/sccharts/processors/verification/SCChartsVerificationPropertyAnalyzer.xtend
10-Aug-2020 12:50:47 69: Unnecessary cast from SCCharts to SCCharts
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationExtensions.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/extensions/VerificationExtensions.xtend
10-Aug-2020 12:50:47 31: The public modifier is unnecessary on method findRangeAssumption
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         SmvCodeGeneratorDefineModule.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/scg/processors/codegen/smv/SmvCodeGeneratorDefineModule.xtend
10-Aug-2020 12:50:47 38: The private modifier is unnecessary on field scgConditionalAssignmentAnalyzer
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationPropertyCounterexampleState.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationPropertyCounterexampleState.xtend
10-Aug-2020 12:50:47 20: The public modifier is unnecessary on class VerificationPropertyCounterexampleState
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationPropertyCounterexampleState.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationPropertyCounterexampleState.xtend
10-Aug-2020 12:50:47 21: The private modifier is unnecessary on field variableMappings
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         PromelaCodeGeneratorModuleBase.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/scg/processors/codegen/promela/PromelaCodeGeneratorModuleBase.xtend
10-Aug-2020 12:50:47 17: The import 'de.cau.cs.kieler.scg.processors.codegen.smv.ScgConditionalAssignmentAnalyzer' is never used.
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationProperty.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationProperty.xtend
10-Aug-2020 12:50:47 22: The private modifier is unnecessary on field name
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationProperty.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationProperty.xtend
10-Aug-2020 12:50:47 23: The private modifier is unnecessary on field formula
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationProperty.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationProperty.xtend
10-Aug-2020 12:50:47 24: The private modifier is unnecessary on field type
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationProperty.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationProperty.xtend
10-Aug-2020 12:50:47 31: The private modifier is unnecessary on field runningTaskDescription
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationProperty.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationProperty.xtend
10-Aug-2020 12:50:47 66: The public modifier is unnecessary on method fail
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationProperty.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationProperty.xtend
10-Aug-2020 12:50:47 71: The public modifier is unnecessary on method fail
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         SpinTrailInterpreter.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/spin/SpinTrailInterpreter.xtend
10-Aug-2020 12:50:47 25: The private modifier is unnecessary on field counterexample
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         SpinTrailInterpreter.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/spin/SpinTrailInterpreter.xtend
10-Aug-2020 12:50:47 27: The private modifier is unnecessary on field formulaName
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         SpinTrailInterpreter.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/spin/SpinTrailInterpreter.xtend
10-Aug-2020 12:50:47 28: The private modifier is unnecessary on field failedAssertion
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         SpinTrailInterpreter.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/spin/SpinTrailInterpreter.xtend
10-Aug-2020 12:50:47 30: The private modifier is unnecessary on field TICK_END_FLAG_NAME
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         SpinTrailInterpreter.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/spin/SpinTrailInterpreter.xtend
10-Aug-2020 12:50:47 31: The private modifier is unnecessary on field LTL_SPEC_PATTERN
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         SpinTrailInterpreter.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/spin/SpinTrailInterpreter.xtend
10-Aug-2020 12:50:47 32: The private modifier is unnecessary on field FAILED_ASSERTION_PATTERN
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         SpinTrailInterpreter.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/spin/SpinTrailInterpreter.xtend
10-Aug-2020 12:50:47 33: The private modifier is unnecessary on field TICK_START_PATTERN
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         SpinTrailInterpreter.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/spin/SpinTrailInterpreter.xtend
10-Aug-2020 12:50:47 34: The private modifier is unnecessary on field TICK_END_PATTERN
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         SpinTrailInterpreter.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/spin/SpinTrailInterpreter.xtend
10-Aug-2020 12:50:47 35: The private modifier is unnecessary on field LOOP_START_PATTERN
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         SpinTrailInterpreter.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/spin/SpinTrailInterpreter.xtend
10-Aug-2020 12:50:47 36: The private modifier is unnecessary on field VARIABLE_ASSIGNMENT_PATTERN
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         SpinTrailInterpreter.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/spin/SpinTrailInterpreter.xtend
10-Aug-2020 12:50:47 38: The private modifier is unnecessary on field TRAIL_END_PATTERN
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         SpinTrailInterpreter.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/spin/SpinTrailInterpreter.xtend
10-Aug-2020 12:50:47 40: The private modifier is unnecessary on field trailEnded
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         RangeAssumption.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/RangeAssumption.xtend
10-Aug-2020 12:50:47 24: The private modifier is unnecessary on field valuedObject
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         RangeAssumption.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/RangeAssumption.xtend
10-Aug-2020 12:50:47 25: The private modifier is unnecessary on field minValue
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         RangeAssumption.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/RangeAssumption.xtend
10-Aug-2020 12:50:47 26: The private modifier is unnecessary on field maxValue
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         LineBasedParser.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/LineBasedParser.xtend
10-Aug-2020 12:50:47 28: The public modifier is unnecessary on method parse
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         LineBasedParser.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/LineBasedParser.xtend
10-Aug-2020 12:50:47 33: The public modifier is unnecessary on method parse
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         LineBasedParser.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/LineBasedParser.xtend
10-Aug-2020 12:50:47 39: The public modifier is unnecessary on method parse
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         LineBasedParser.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/LineBasedParser.xtend
10-Aug-2020 12:50:47 45: The public modifier is unnecessary on method parse
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         PromelaCodeGeneratorModule.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/scg/processors/codegen/promela/PromelaCodeGeneratorModule.xtend
10-Aug-2020 12:50:47 46: The private modifier is unnecessary on field codeGeneratorModules
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         CodeGeneratorExtensions.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/codegen/CodeGeneratorExtensions.xtend
10-Aug-2020 12:50:47 20: The public modifier is unnecessary on method toIdentifier
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         SpinOutputInterpreter.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/spin/SpinOutputInterpreter.xtend
10-Aug-2020 12:50:47 24: The private modifier is unnecessary on field wroteTrail
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         SpinOutputInterpreter.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/spin/SpinOutputInterpreter.xtend
10-Aug-2020 12:50:47 26: The private modifier is unnecessary on field WROTE_TRAIL_PATTERN
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         SpinOutputInterpreter.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/spin/SpinOutputInterpreter.xtend
10-Aug-2020 12:50:47 27: The private modifier is unnecessary on field ERROR_PATTERN
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         SmvCodeGeneratorExtensions.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/codegen/SmvCodeGeneratorExtensions.xtend
10-Aug-2020 12:50:47 20: The public modifier is unnecessary on method toSmvExpression
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         SmvCodeGeneratorExtensions.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/codegen/SmvCodeGeneratorExtensions.xtend
10-Aug-2020 12:50:47 26: The public modifier is unnecessary on method toKExpression
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         ProcessExtensions.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/ProcessExtensions.xtend
10-Aug-2020 12:50:47 25: The public modifier is unnecessary on method waitForOutput
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         ProcessExtensions.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/ProcessExtensions.xtend
10-Aug-2020 12:50:47 41: The public modifier is unnecessary on method waitForTermination
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         ProcessExtensions.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/ProcessExtensions.xtend
10-Aug-2020 12:50:47 53: The public modifier is unnecessary on method readInputStream
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         ProcessExtensions.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/ProcessExtensions.xtend
10-Aug-2020 12:50:47 68: The public modifier is unnecessary on method kill
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         ProcessExtensions.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/ProcessExtensions.xtend
10-Aug-2020 12:50:47 98: The public modifier is unnecessary on method getPID
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         ProcessExtensions.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/ProcessExtensions.xtend
10-Aug-2020 12:50:47 151: The public modifier is unnecessary on method main
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         SmvCodeGeneratorModule.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/scg/processors/codegen/smv/SmvCodeGeneratorModule.xtend
10-Aug-2020 12:50:47 46: The private modifier is unnecessary on field codeGeneratorModules
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         SmvCodeGeneratorModule.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/scg/processors/codegen/smv/SmvCodeGeneratorModule.xtend
10-Aug-2020 12:50:47 47: The private modifier is unnecessary on field preVariableToOriginalVariable
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         SmvCodeGeneratorDeclarationsModule.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/scg/processors/codegen/smv/SmvCodeGeneratorDeclarationsModule.xtend
10-Aug-2020 12:50:47 51: Null-safe call of primitive-valued feature smvUseIVAR, default value false will be used
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         OsUtil.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/OsUtil.xtend
10-Aug-2020 12:50:47 21: The public modifier is unnecessary on enum OS
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         OsUtil.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/OsUtil.xtend
10-Aug-2020 12:50:47 42: The public modifier is unnecessary on method isWindows
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         OsUtil.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/OsUtil.xtend
10-Aug-2020 12:50:47 46: The public modifier is unnecessary on method isLinux
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         OsUtil.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/OsUtil.xtend
10-Aug-2020 12:50:47 50: The public modifier is unnecessary on method isMac
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationContextExtensions.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/extensions/VerificationContextExtensions.xtend
10-Aug-2020 12:50:47 24: The public modifier is unnecessary on method asVerificationContext
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationContextExtensions.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/extensions/VerificationContextExtensions.xtend
10-Aug-2020 12:50:47 32: The public modifier is unnecessary on method getVerificationContext
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationContextExtensions.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/extensions/VerificationContextExtensions.xtend
10-Aug-2020 12:50:47 36: The public modifier is unnecessary on method isVerificationContext
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         RunSpinProcessor.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/spin/RunSpinProcessor.xtend
10-Aug-2020 12:50:47 22: The import 'de.cau.cs.kieler.verification.VerificationPropertyType' is never used.
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         RunSpinProcessor.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/spin/RunSpinProcessor.xtend
10-Aug-2020 12:50:47 123: The method toString(File, Charset) from the type Files is deprecated
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         NuxmvOutputInterpreter.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/nuxmv/NuxmvOutputInterpreter.xtend
10-Aug-2020 12:50:47 27: The private modifier is unnecessary on field counterexamples
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         NuxmvOutputInterpreter.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/nuxmv/NuxmvOutputInterpreter.xtend
10-Aug-2020 12:50:47 28: The private modifier is unnecessary on field passedSpecs
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         NuxmvOutputInterpreter.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/nuxmv/NuxmvOutputInterpreter.xtend
10-Aug-2020 12:50:47 30: The private modifier is unnecessary on field currentCounterexample
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         NuxmvOutputInterpreter.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/nuxmv/NuxmvOutputInterpreter.xtend
10-Aug-2020 12:50:47 31: The private modifier is unnecessary on field parseTarget
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         NuxmvOutputInterpreter.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/nuxmv/NuxmvOutputInterpreter.xtend
10-Aug-2020 12:50:47 33: The private modifier is unnecessary on field SPECIFICATION_RESULT_PATTERN
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         NuxmvOutputInterpreter.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/nuxmv/NuxmvOutputInterpreter.xtend
10-Aug-2020 12:50:47 34: The private modifier is unnecessary on field STATE_PATTERN
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         NuxmvOutputInterpreter.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/nuxmv/NuxmvOutputInterpreter.xtend
10-Aug-2020 12:50:47 35: The private modifier is unnecessary on field VARIABLE_ASSIGNMENT_PATTERN
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         NuxmvOutputInterpreter.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/nuxmv/NuxmvOutputInterpreter.xtend
10-Aug-2020 12:50:47 36: The private modifier is unnecessary on field LOOP_START_PATTERN
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         NuxmvOutputInterpreter.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/nuxmv/NuxmvOutputInterpreter.xtend
10-Aug-2020 12:50:47 37: The private modifier is unnecessary on field ISSUE_IN_FILE_PATTERN
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         NuxmvOutputInterpreter.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/nuxmv/NuxmvOutputInterpreter.xtend
10-Aug-2020 12:50:47 38: The private modifier is unnecessary on field TERMINATED_BY_SIGNAL_PATTERN
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         NuxmvOutputInterpreter.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/nuxmv/NuxmvOutputInterpreter.xtend
10-Aug-2020 12:50:47 40: The private modifier is unnecessary on field parseCounterexamples
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         NuxmvOutputInterpreter.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/nuxmv/NuxmvOutputInterpreter.xtend
10-Aug-2020 12:50:47 110: The public modifier is unnecessary on method getFailedSpecs
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         NuxmvOutputInterpreter.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/nuxmv/NuxmvOutputInterpreter.xtend
10-Aug-2020 12:50:47 114: The public modifier is unnecessary on class NuxmvCounterexample
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationPropertyCounterexample.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationPropertyCounterexample.xtend
10-Aug-2020 12:50:47 21: The public modifier is unnecessary on class VerificationPropertyCounterexample
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationPropertyCounterexample.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationPropertyCounterexample.xtend
10-Aug-2020 12:50:47 22: The private modifier is unnecessary on field spec
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationPropertyCounterexample.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationPropertyCounterexample.xtend
10-Aug-2020 12:50:47 23: The private modifier is unnecessary on field loopStartStateIndex
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationPropertyCounterexample.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationPropertyCounterexample.xtend
10-Aug-2020 12:50:47 24: The private modifier is unnecessary on field states
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationPropertyCounterexample.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationPropertyCounterexample.xtend
10-Aug-2020 12:50:47 28: The private modifier is unnecessary on field LOOP_START_KTRACE_LABEL_NAME
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationPropertyCounterexample.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationPropertyCounterexample.xtend
10-Aug-2020 12:50:47 38: The public modifier is unnecessary on method getKtrace
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationPropertyCounterexample.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationPropertyCounterexample.xtend
10-Aug-2020 12:50:47 71: The public modifier is unnecessary on method createNextState
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationPropertyCounterexample.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationPropertyCounterexample.xtend
10-Aug-2020 12:50:47 77: The public modifier is unnecessary on method size
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationPropertyCounterexample.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationPropertyCounterexample.xtend
10-Aug-2020 12:50:47 86: Null-safe call of primitive-valued feature isInput, default value false will be used
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationPropertyCounterexample.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationPropertyCounterexample.xtend
10-Aug-2020 12:50:47 90: Null-safe call of primitive-valued feature isOutput, default value false will be used
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         InvariantAssumption.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/InvariantAssumption.xtend
10-Aug-2020 12:50:47 23: The private modifier is unnecessary on field formula
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         InvariantAssumption.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/InvariantAssumption.xtend
10-Aug-2020 12:50:47 24: The private modifier is unnecessary on field name
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationContext.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationContext.xtend
10-Aug-2020 12:50:47 28: The private modifier is unnecessary on field verificationProperties
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationContext.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationContext.xtend
10-Aug-2020 12:50:47 29: The private modifier is unnecessary on field verificationAssumptions
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationContext.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationContext.xtend
10-Aug-2020 12:50:47 34: The private modifier is unnecessary on field verificationModelFile
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationContext.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationContext.xtend
10-Aug-2020 12:50:47 39: The private modifier is unnecessary on field verificationProcess
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationContext.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationContext.xtend
10-Aug-2020 12:50:47 42: The private modifier is unnecessary on field createCounterexamplesWithOutputs
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationContext.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationContext.xtend
10-Aug-2020 12:50:47 43: The private modifier is unnecessary on field createCounterexamples
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationContext.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationContext.xtend
10-Aug-2020 12:50:47 46: The private modifier is unnecessary on field smvUseIVAR
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationContext.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationContext.xtend
10-Aug-2020 12:50:47 47: The private modifier is unnecessary on field smvIgnoreRangeAssumptions
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationContext.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationContext.xtend
10-Aug-2020 12:50:47 50: The private modifier is unnecessary on field customInteractiveSmvInvarCommands
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationContext.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationContext.xtend
10-Aug-2020 12:50:47 51: The private modifier is unnecessary on field customInteractiveSmvLtlCommands
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationContext.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationContext.xtend
10-Aug-2020 12:50:47 52: The private modifier is unnecessary on field customInteractiveSmvCtlCommands
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         VerificationContext.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationContext.xtend
10-Aug-2020 12:50:47 55: The private modifier is unnecessary on field customSpinCommands
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         ScgConditionalAssignmentAnalyzer.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/scg/processors/codegen/smv/ScgConditionalAssignmentAnalyzer.xtend
10-Aug-2020 12:50:47 38: The private modifier is unnecessary on field nodeToParentConditional
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         ScgConditionalAssignmentAnalyzer.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/scg/processors/codegen/smv/ScgConditionalAssignmentAnalyzer.xtend
10-Aug-2020 12:50:47 39: The private modifier is unnecessary on field valuedObjectToAssignments
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         ScgConditionalAssignmentAnalyzer.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/scg/processors/codegen/smv/ScgConditionalAssignmentAnalyzer.xtend
10-Aug-2020 12:50:47 40: The private modifier is unnecessary on field nodeStack
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         ScgConditionalAssignmentAnalyzer.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/scg/processors/codegen/smv/ScgConditionalAssignmentAnalyzer.xtend
10-Aug-2020 12:50:47 42: The public modifier is unnecessary on method init
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         ScgConditionalAssignmentAnalyzer.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/scg/processors/codegen/smv/ScgConditionalAssignmentAnalyzer.xtend
10-Aug-2020 12:50:47 59: The public modifier is unnecessary on method getAssignments
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         ScgConditionalAssignmentAnalyzer.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/scg/processors/codegen/smv/ScgConditionalAssignmentAnalyzer.xtend
10-Aug-2020 12:50:47 63: The public modifier is unnecessary on method getConditionalTree
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         ScgConditionalAssignmentAnalyzer.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/scg/processors/codegen/smv/ScgConditionalAssignmentAnalyzer.xtend
10-Aug-2020 12:50:47 129: The public modifier is unnecessary on class ConditionalTree
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         PromelaCodeSerializeHRExtensions.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/scg/processors/codegen/promela/PromelaCodeSerializeHRExtensions.xtend
10-Aug-2020 12:50:47 38: The extension de.cau.cs.kieler.annotations.extensions.AnnotationsExtensions is not used in PromelaCodeSerializeHRExtensions
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         PromelaCodeSerializeHRExtensions.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/scg/processors/codegen/promela/PromelaCodeSerializeHRExtensions.xtend
10-Aug-2020 12:50:47 40: The extension de.cau.cs.kieler.kexpressions.extensions.KExpressionsValuedObjectExtensions is not used in PromelaCodeSerializeHRExtensions
10-Aug-2020 12:50:47 [WARNING]
10-Aug-2020 12:50:47 WARNING:         PromelaCodeSerializeHRExtensions.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/scg/processors/codegen/promela/PromelaCodeSerializeHRExtensions.xtend
10-Aug-2020 12:50:47 41: The extension de.cau.cs.kieler.kexpressions.kext.extensions.KExtDeclarationExtensions is not used in PromelaCodeSerializeHRExtensions
10-Aug-2020 12:50:48 [INFO]
10-Aug-2020 12:50:48 [INFO] --- maven-resources-plugin:2.4.3:resources (default-resources) @ de.cau.cs.kieler.verification ---
10-Aug-2020 12:50:48 [INFO] Using 'UTF-8' encoding to copy filtered resources.
10-Aug-2020 12:50:48 [INFO] skip non existing resourceDirectory /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/main/resources
10-Aug-2020 12:50:48 [INFO]
10-Aug-2020 12:50:48 [INFO] --- tycho-compiler-plugin:1.6.0:compile (default-compile) @ de.cau.cs.kieler.verification ---
10-Aug-2020 12:50:48 [INFO] Compiling 49 source files to /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/target/classes
10-Aug-2020 12:50:48 [INFO]
10-Aug-2020 12:50:48 [INFO] --- maven-resources-plugin:2.4.3:testResources (default-testResources) @ de.cau.cs.kieler.verification ---
10-Aug-2020 12:50:48 [INFO] Using 'UTF-8' encoding to copy filtered resources.
10-Aug-2020 12:50:48 [INFO] skip non existing resourceDirectory /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/src/test/resources
10-Aug-2020 12:50:48 [INFO]
10-Aug-2020 12:50:48 [INFO] --- tycho-source-plugin:1.6.0:plugin-source (plugin-source) @ de.cau.cs.kieler.verification ---
10-Aug-2020 12:50:48 [INFO] Building jar: /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/target/de.cau.cs.kieler.verification-1.2.0-SNAPSHOT-sources.jar
10-Aug-2020 12:50:48 [INFO]
10-Aug-2020 12:50:48 [INFO] --- target-platform-configuration:1.6.0:target-platform (default-target-platform) @ de.cau.cs.kieler.verification ---
10-Aug-2020 12:50:48 [INFO]
10-Aug-2020 12:50:48 [INFO] --- tycho-packaging-plugin:1.6.0:package-plugin (default-package-plugin) @ de.cau.cs.kieler.verification ---
10-Aug-2020 12:50:48 [INFO] Building jar: /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification/target/de.cau.cs.kieler.verification-1.2.0-SNAPSHOT.jar
10-Aug-2020 12:50:48 [INFO]
10-Aug-2020 12:50:48 [INFO] --- tycho-p2-plugin:1.6.0:p2-metadata-default (default-p2-metadata-default) @ de.cau.cs.kieler.verification ---
10-Aug-2020 12:50:48 [INFO]                                                                         
10-Aug-2020 12:50:48 [INFO] ------------------------------------------------------------------------
10-Aug-2020 12:50:48 [INFO] Building de.cau.cs.kieler.verification.ui 1.2.0-SNAPSHOT
10-Aug-2020 12:50:48 [INFO] ------------------------------------------------------------------------
10-Aug-2020 12:50:48 [INFO]
10-Aug-2020 12:50:48 [INFO] --- maven-clean-plugin:2.4.1:clean (default-clean) @ de.cau.cs.kieler.verification.ui ---
10-Aug-2020 12:50:48 [INFO]
10-Aug-2020 12:50:48 [INFO] --- tycho-packaging-plugin:1.6.0:build-qualifier (default-build-qualifier) @ de.cau.cs.kieler.verification.ui ---
10-Aug-2020 12:50:48 [INFO] The project's OSGi version is 1.2.0.202008101040
10-Aug-2020 12:50:48 [INFO]
10-Aug-2020 12:50:48 [INFO] --- tycho-packaging-plugin:1.6.0:validate-id (default-validate-id) @ de.cau.cs.kieler.verification.ui ---
10-Aug-2020 12:50:48 [INFO]
10-Aug-2020 12:50:48 [INFO] --- tycho-packaging-plugin:1.6.0:validate-version (default-validate-version) @ de.cau.cs.kieler.verification.ui ---
10-Aug-2020 12:50:48 [INFO]
10-Aug-2020 12:50:48 [INFO] --- maven-dependency-plugin:3.1.1:tree (tree) @ de.cau.cs.kieler.verification.ui ---
10-Aug-2020 12:50:48 [INFO] Wrote dependency tree to: /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/dependencies.txt
10-Aug-2020 12:50:48 [INFO]
10-Aug-2020 12:50:48 [INFO] --- xtend-maven-plugin:2.21.0:compile (default) @ de.cau.cs.kieler.verification.ui ---
10-Aug-2020 12:50:50 [WARNING]
10-Aug-2020 12:50:50 WARNING:         EditSmvCommandsDialog.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/src/de/cau/cs/kieler/verification/ui/view/EditSmvCommandsDialog.xtend
10-Aug-2020 12:50:50 36: The private modifier is unnecessary on field ltlText
10-Aug-2020 12:50:50 [WARNING]
10-Aug-2020 12:50:50 WARNING:         EditSmvCommandsDialog.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/src/de/cau/cs/kieler/verification/ui/view/EditSmvCommandsDialog.xtend
10-Aug-2020 12:50:50 37: The private modifier is unnecessary on field ctlText
10-Aug-2020 12:50:50 [WARNING]
10-Aug-2020 12:50:50 WARNING:         EditSmvCommandsDialog.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/src/de/cau/cs/kieler/verification/ui/view/EditSmvCommandsDialog.xtend
10-Aug-2020 12:50:50 38: The private modifier is unnecessary on field invarText
10-Aug-2020 12:50:50 [WARNING]
10-Aug-2020 12:50:50 WARNING:         EditSmvCommandsDialog.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/src/de/cau/cs/kieler/verification/ui/view/EditSmvCommandsDialog.xtend
10-Aug-2020 12:50:50 40: The private modifier is unnecessary on field okButton
10-Aug-2020 12:50:50 [WARNING]
10-Aug-2020 12:50:50 WARNING:         EditSmvCommandsDialog.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/src/de/cau/cs/kieler/verification/ui/view/EditSmvCommandsDialog.xtend
10-Aug-2020 12:50:50 140: The operator '==' should be replaced by '===' when null is one of the arguments.
10-Aug-2020 12:50:50 [WARNING]
10-Aug-2020 12:50:50 WARNING:         AbstractVerificationViewColumnLabelProvider.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/src/de/cau/cs/kieler/verification/ui/view/AbstractVerificationViewColumnLabelProvider.xtend
10-Aug-2020 12:50:50 21: The class "AbstractVerificationViewColumnLabelProvider" is not declared abstract.
10-Aug-2020 12:50:50 [WARNING]
10-Aug-2020 12:50:50 WARNING:         VerificationView.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/src/de/cau/cs/kieler/verification/ui/view/VerificationView.xtend
10-Aug-2020 12:50:50 85: The private modifier is unnecessary on field MODEL_CLASS_TO_PROPERTY_ANALYZER
10-Aug-2020 12:50:50 [WARNING]
10-Aug-2020 12:50:50 WARNING:         VerificationView.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/src/de/cau/cs/kieler/verification/ui/view/VerificationView.xtend
10-Aug-2020 12:50:50 86: The private modifier is unnecessary on field MODEL_CHECKER_SYSTEM_IDS
10-Aug-2020 12:50:50 [WARNING]
10-Aug-2020 12:50:50 WARNING:         VerificationView.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/src/de/cau/cs/kieler/verification/ui/view/VerificationView.xtend
10-Aug-2020 12:50:50 89: The private modifier is unnecessary on field PLAY_ICON
10-Aug-2020 12:50:50 [WARNING]
10-Aug-2020 12:50:50 WARNING:         VerificationView.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/src/de/cau/cs/kieler/verification/ui/view/VerificationView.xtend
10-Aug-2020 12:50:50 90: The private modifier is unnecessary on field STOP_ICON
10-Aug-2020 12:50:50 [WARNING]
10-Aug-2020 12:50:50 WARNING:         VerificationView.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/src/de/cau/cs/kieler/verification/ui/view/VerificationView.xtend
10-Aug-2020 12:50:50 91: The private modifier is unnecessary on field REFRESH_ICON
10-Aug-2020 12:50:50 [WARNING]
10-Aug-2020 12:50:50 WARNING:         VerificationView.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/src/de/cau/cs/kieler/verification/ui/view/VerificationView.xtend
10-Aug-2020 12:50:50 92: The private modifier is unnecessary on field RUN_COUNTEREXAMPLE_ICON
10-Aug-2020 12:50:50 [WARNING]
10-Aug-2020 12:50:50 WARNING:         VerificationView.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/src/de/cau/cs/kieler/verification/ui/view/VerificationView.xtend
10-Aug-2020 12:50:50 94: The private modifier is unnecessary on field CUSTOM_SMV_COMMANDS_CTL_PREF_STORE_ID
10-Aug-2020 12:50:50 [WARNING]
10-Aug-2020 12:50:50 WARNING:         VerificationView.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/src/de/cau/cs/kieler/verification/ui/view/VerificationView.xtend
10-Aug-2020 12:50:50 95: The private modifier is unnecessary on field CUSTOM_SMV_COMMANDS_LTL_PREF_STORE_ID
10-Aug-2020 12:50:50 [WARNING]
10-Aug-2020 12:50:50 WARNING:         VerificationView.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/src/de/cau/cs/kieler/verification/ui/view/VerificationView.xtend
10-Aug-2020 12:50:50 96: The private modifier is unnecessary on field CUSTOM_SMV_COMMANDS_INVAR_PREF_STORE_ID
10-Aug-2020 12:50:50 [WARNING]
10-Aug-2020 12:50:50 WARNING:         VerificationView.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/src/de/cau/cs/kieler/verification/ui/view/VerificationView.xtend
10-Aug-2020 12:50:50 97: The private modifier is unnecessary on field CUSTOM_SPIN_COMMANDS_PREF_STORE_ID
10-Aug-2020 12:50:50 [WARNING]
10-Aug-2020 12:50:50 WARNING:         VerificationView.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/src/de/cau/cs/kieler/verification/ui/view/VerificationView.xtend
10-Aug-2020 12:50:50 98: The private modifier is unnecessary on field SMV_USE_IVAR_PREF_STORE_ID
10-Aug-2020 12:50:50 [WARNING]
10-Aug-2020 12:50:50 WARNING:         VerificationView.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/src/de/cau/cs/kieler/verification/ui/view/VerificationView.xtend
10-Aug-2020 12:50:50 99: The private modifier is unnecessary on field SMV_IGNORE_RANGE_ASSUMPTIONS
10-Aug-2020 12:50:50 [WARNING]
10-Aug-2020 12:50:50 WARNING:         VerificationView.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/src/de/cau/cs/kieler/verification/ui/view/VerificationView.xtend
10-Aug-2020 12:50:50 100: The private modifier is unnecessary on field CREATE_COUNTEREXAMPLES_PREF_STORE_ID
10-Aug-2020 12:50:50 [WARNING]
10-Aug-2020 12:50:50 WARNING:         VerificationView.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/src/de/cau/cs/kieler/verification/ui/view/VerificationView.xtend
10-Aug-2020 12:50:50 101: The private modifier is unnecessary on field CREATE_COUNTEREXAMPLES_WITH_OUTPUTS_PREF_STORE_ID
10-Aug-2020 12:50:50 [WARNING]
10-Aug-2020 12:50:50 WARNING:         VerificationView.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/src/de/cau/cs/kieler/verification/ui/view/VerificationView.xtend
10-Aug-2020 12:50:50 103: The private modifier is unnecessary on field propertyAnalyzerContext
10-Aug-2020 12:50:50 [WARNING]
10-Aug-2020 12:50:50 WARNING:         VerificationView.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/src/de/cau/cs/kieler/verification/ui/view/VerificationView.xtend
10-Aug-2020 12:50:50 104: The private modifier is unnecessary on field verificationContext
10-Aug-2020 12:50:50 [WARNING]
10-Aug-2020 12:50:50 WARNING:         VerificationView.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/src/de/cau/cs/kieler/verification/ui/view/VerificationView.xtend
10-Aug-2020 12:50:50 105: The private modifier is unnecessary on field selectedSystemId
10-Aug-2020 12:50:50 [WARNING]
10-Aug-2020 12:50:50 WARNING:         VerificationView.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/src/de/cau/cs/kieler/verification/ui/view/VerificationView.xtend
10-Aug-2020 12:50:50 112: The private modifier is unnecessary on field viewer
10-Aug-2020 12:50:50 [WARNING]
10-Aug-2020 12:50:50 WARNING:         VerificationView.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/src/de/cau/cs/kieler/verification/ui/view/VerificationView.xtend
10-Aug-2020 12:50:50 114: The private modifier is unnecessary on field nameColumn
10-Aug-2020 12:50:50 [WARNING]
10-Aug-2020 12:50:50 WARNING:         VerificationView.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/src/de/cau/cs/kieler/verification/ui/view/VerificationView.xtend
10-Aug-2020 12:50:50 115: The private modifier is unnecessary on field formulaColumn
10-Aug-2020 12:50:50 [WARNING]
10-Aug-2020 12:50:50 WARNING:         VerificationView.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/src/de/cau/cs/kieler/verification/ui/view/VerificationView.xtend
10-Aug-2020 12:50:50 116: The private modifier is unnecessary on field resultColumn
10-Aug-2020 12:50:50 [WARNING]
10-Aug-2020 12:50:50 WARNING:         VerificationView.xtend - /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/src/de/cau/cs/kieler/verification/ui/view/VerificationView.xtend
10-Aug-2020 12:50:50 408: The value of the local variable modifier is not used
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- maven-resources-plugin:2.4.3:resources (default-resources) @ de.cau.cs.kieler.verification.ui ---
10-Aug-2020 12:50:50 [INFO] Using 'UTF-8' encoding to copy filtered resources.
10-Aug-2020 12:50:50 [INFO] skip non existing resourceDirectory /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/src/main/resources
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- tycho-compiler-plugin:1.6.0:compile (default-compile) @ de.cau.cs.kieler.verification.ui ---
10-Aug-2020 12:50:50 [INFO] Compiling 5 source files to /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/target/classes
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- maven-resources-plugin:2.4.3:testResources (default-testResources) @ de.cau.cs.kieler.verification.ui ---
10-Aug-2020 12:50:50 [INFO] Using 'UTF-8' encoding to copy filtered resources.
10-Aug-2020 12:50:50 [INFO] skip non existing resourceDirectory /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/src/test/resources
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- tycho-source-plugin:1.6.0:plugin-source (plugin-source) @ de.cau.cs.kieler.verification.ui ---
10-Aug-2020 12:50:50 [INFO] Building jar: /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/target/de.cau.cs.kieler.verification.ui-1.2.0-SNAPSHOT-sources.jar
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- target-platform-configuration:1.6.0:target-platform (default-target-platform) @ de.cau.cs.kieler.verification.ui ---
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- tycho-packaging-plugin:1.6.0:package-plugin (default-package-plugin) @ de.cau.cs.kieler.verification.ui ---
10-Aug-2020 12:50:50 [INFO] Building jar: /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/plugins/de.cau.cs.kieler.verification.ui/target/de.cau.cs.kieler.verification.ui-1.2.0-SNAPSHOT.jar
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- tycho-p2-plugin:1.6.0:p2-metadata-default (default-p2-metadata-default) @ de.cau.cs.kieler.verification.ui ---
10-Aug-2020 12:50:50 [INFO]                                                                         
10-Aug-2020 12:50:50 [INFO] ------------------------------------------------------------------------
10-Aug-2020 12:50:50 [INFO] Building KIELER Semantics Target Platform 0.1.0-SNAPSHOT
10-Aug-2020 12:50:50 [INFO] ------------------------------------------------------------------------
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- maven-clean-plugin:2.4.1:clean (default-clean) @ de.cau.cs.kieler.semantics.targetplatform ---
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- maven-dependency-plugin:3.1.1:tree (tree) @ de.cau.cs.kieler.semantics.targetplatform ---
10-Aug-2020 12:50:50 [INFO] Wrote dependency tree to: /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/build/de.cau.cs.kieler.semantics.targetplatform/dependencies.txt
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- tycho-source-plugin:1.6.0:plugin-source (plugin-source) @ de.cau.cs.kieler.semantics.targetplatform ---
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- tycho-packaging-plugin:1.6.0:package-target-definition (default-package-target-definition) @ de.cau.cs.kieler.semantics.targetplatform ---
10-Aug-2020 12:50:50 [INFO]                                                                         
10-Aug-2020 12:50:50 [INFO] ------------------------------------------------------------------------
10-Aug-2020 12:50:50 [INFO] Building features 0.0.1-SNAPSHOT
10-Aug-2020 12:50:50 [INFO] ------------------------------------------------------------------------
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- maven-clean-plugin:2.4.1:clean (default-clean) @ features ---
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- maven-dependency-plugin:3.1.1:tree (tree) @ features ---
10-Aug-2020 12:50:50 [INFO] Wrote dependency tree to: /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/features/dependencies.txt
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- tycho-source-plugin:1.6.0:plugin-source (plugin-source) @ features ---
10-Aug-2020 12:50:50 [INFO]                                                                         
10-Aug-2020 12:50:50 [INFO] ------------------------------------------------------------------------
10-Aug-2020 12:50:50 [INFO] Building de.cau.cs.kieler.product.feature 1.2.0-SNAPSHOT
10-Aug-2020 12:50:50 [INFO] ------------------------------------------------------------------------
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- maven-clean-plugin:2.4.1:clean (default-clean) @ de.cau.cs.kieler.product.feature ---
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- tycho-packaging-plugin:1.6.0:build-qualifier-aggregator (default-build-qualifier-aggregator) @ de.cau.cs.kieler.product.feature ---
10-Aug-2020 12:50:50 [INFO] The project's OSGi version is 1.2.0.202008101040
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- tycho-packaging-plugin:1.6.0:validate-id (default-validate-id) @ de.cau.cs.kieler.product.feature ---
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- tycho-packaging-plugin:1.6.0:validate-version (default-validate-version) @ de.cau.cs.kieler.product.feature ---
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- maven-dependency-plugin:3.1.1:tree (tree) @ de.cau.cs.kieler.product.feature ---
10-Aug-2020 12:50:50 [INFO] Wrote dependency tree to: /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/features/de.cau.cs.kieler.product.feature/dependencies.txt
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- tycho-source-plugin:1.6.0:plugin-source (plugin-source) @ de.cau.cs.kieler.product.feature ---
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- target-platform-configuration:1.6.0:target-platform (default-target-platform) @ de.cau.cs.kieler.product.feature ---
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- tycho-packaging-plugin:1.6.0:package-feature (default-package-feature) @ de.cau.cs.kieler.product.feature ---
10-Aug-2020 12:50:50 [INFO] Building jar: /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/features/de.cau.cs.kieler.product.feature/target/de.cau.cs.kieler.product.feature-1.2.0-SNAPSHOT.jar
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- tycho-p2-plugin:1.6.0:p2-metadata-default (default-p2-metadata-default) @ de.cau.cs.kieler.product.feature ---
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- tycho-p2-plugin:1.6.0:feature-p2-metadata (default-feature-p2-metadata) @ de.cau.cs.kieler.product.feature ---
10-Aug-2020 12:50:50 [INFO]                                                                         
10-Aug-2020 12:50:50 [INFO] ------------------------------------------------------------------------
10-Aug-2020 12:50:50 [INFO] Building de.cau.cs.kieler.framework.feature 1.2.0-SNAPSHOT
10-Aug-2020 12:50:50 [INFO] ------------------------------------------------------------------------
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- maven-clean-plugin:2.4.1:clean (default-clean) @ de.cau.cs.kieler.framework.feature ---
10-Aug-2020 12:50:50 [INFO] Deleting /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/features/de.cau.cs.kieler.framework.feature/target
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- tycho-packaging-plugin:1.6.0:build-qualifier-aggregator (default-build-qualifier-aggregator) @ de.cau.cs.kieler.framework.feature ---
10-Aug-2020 12:50:50 [INFO] The project's OSGi version is 1.2.0.202008101040
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- tycho-packaging-plugin:1.6.0:validate-id (default-validate-id) @ de.cau.cs.kieler.framework.feature ---
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- tycho-packaging-plugin:1.6.0:validate-version (default-validate-version) @ de.cau.cs.kieler.framework.feature ---
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- maven-dependency-plugin:3.1.1:tree (tree) @ de.cau.cs.kieler.framework.feature ---
10-Aug-2020 12:50:50 [INFO] Wrote dependency tree to: /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/features/de.cau.cs.kieler.framework.feature/dependencies.txt
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- tycho-source-plugin:1.6.0:plugin-source (plugin-source) @ de.cau.cs.kieler.framework.feature ---
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- target-platform-configuration:1.6.0:target-platform (default-target-platform) @ de.cau.cs.kieler.framework.feature ---
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- tycho-packaging-plugin:1.6.0:package-feature (default-package-feature) @ de.cau.cs.kieler.framework.feature ---
10-Aug-2020 12:50:50 [INFO] Building jar: /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/features/de.cau.cs.kieler.framework.feature/target/de.cau.cs.kieler.framework.feature-1.2.0-SNAPSHOT.jar
10-Aug-2020 12:50:50 [INFO]
10-Aug-2020 12:50:50 [INFO] --- tycho-p2-plugin:1.6.0:p2-metadata-default (default-p2-metadata-default) @ de.cau.cs.kieler.framework.feature ---
10-Aug-2020 12:50:51 [INFO]
10-Aug-2020 12:50:51 [INFO] --- tycho-p2-plugin:1.6.0:feature-p2-metadata (default-feature-p2-metadata) @ de.cau.cs.kieler.framework.feature ---
10-Aug-2020 12:50:51 [INFO]
10-Aug-2020 12:50:51 [INFO] --- tycho-source-feature-plugin:1.6.0:source-feature (source-feature) @ de.cau.cs.kieler.framework.feature ---
10-Aug-2020 12:50:51 [INFO] Building jar: /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/features/de.cau.cs.kieler.framework.feature/target/de.cau.cs.kieler.framework.feature-1.2.0-SNAPSHOT-sources-feature.jar
10-Aug-2020 12:50:51 [INFO]
10-Aug-2020 12:50:51 [INFO] --- tycho-p2-plugin:1.6.0:p2-metadata (attached-p2-metadata) @ de.cau.cs.kieler.framework.feature ---
10-Aug-2020 12:50:51 [INFO]                                                                         
10-Aug-2020 12:50:51 [INFO] ------------------------------------------------------------------------
10-Aug-2020 12:50:51 [INFO] Building de.cau.cs.kieler.sccharts.feature 1.2.0-SNAPSHOT
10-Aug-2020 12:50:51 [INFO] ------------------------------------------------------------------------
10-Aug-2020 12:50:51 [INFO]
10-Aug-2020 12:50:51 [INFO] --- maven-clean-plugin:2.4.1:clean (default-clean) @ de.cau.cs.kieler.sccharts.feature ---
10-Aug-2020 12:50:51 [INFO] Deleting /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/features/de.cau.cs.kieler.sccharts.feature/target
10-Aug-2020 12:50:51 [INFO]
10-Aug-2020 12:50:51 [INFO] --- tycho-packaging-plugin:1.6.0:build-qualifier-aggregator (default-build-qualifier-aggregator) @ de.cau.cs.kieler.sccharts.feature ---
10-Aug-2020 12:50:51 [INFO] The project's OSGi version is 1.2.0.202008101040
10-Aug-2020 12:50:51 [INFO]
10-Aug-2020 12:50:51 [INFO] --- tycho-packaging-plugin:1.6.0:validate-id (default-validate-id) @ de.cau.cs.kieler.sccharts.feature ---
10-Aug-2020 12:50:51 [INFO]
10-Aug-2020 12:50:51 [INFO] --- tycho-packaging-plugin:1.6.0:validate-version (default-validate-version) @ de.cau.cs.kieler.sccharts.feature ---
10-Aug-2020 12:50:51 [INFO]
10-Aug-2020 12:50:51 [INFO] --- maven-dependency-plugin:3.1.1:tree (tree) @ de.cau.cs.kieler.sccharts.feature ---
10-Aug-2020 12:50:51 [INFO] Wrote dependency tree to: /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/features/de.cau.cs.kieler.sccharts.feature/dependencies.txt
10-Aug-2020 12:50:51 [INFO]
10-Aug-2020 12:50:51 [INFO] --- tycho-source-plugin:1.6.0:plugin-source (plugin-source) @ de.cau.cs.kieler.sccharts.feature ---
10-Aug-2020 12:50:51 [INFO]
10-Aug-2020 12:50:51 [INFO] --- target-platform-configuration:1.6.0:target-platform (default-target-platform) @ de.cau.cs.kieler.sccharts.feature ---
10-Aug-2020 12:50:51 [INFO]
10-Aug-2020 12:50:51 [INFO] --- tycho-packaging-plugin:1.6.0:package-feature (default-package-feature) @ de.cau.cs.kieler.sccharts.feature ---
10-Aug-2020 12:50:51 [INFO] Building jar: /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/features/de.cau.cs.kieler.sccharts.feature/target/de.cau.cs.kieler.sccharts.feature-1.2.0-SNAPSHOT.jar
10-Aug-2020 12:50:51 [INFO]
10-Aug-2020 12:50:51 [INFO] --- tycho-p2-plugin:1.6.0:p2-metadata-default (default-p2-metadata-default) @ de.cau.cs.kieler.sccharts.feature ---
10-Aug-2020 12:50:51 [INFO]
10-Aug-2020 12:50:51 [INFO] --- tycho-p2-plugin:1.6.0:feature-p2-metadata (default-feature-p2-metadata) @ de.cau.cs.kieler.sccharts.feature ---
10-Aug-2020 12:50:51 [INFO]
10-Aug-2020 12:50:51 [INFO] --- tycho-source-feature-plugin:1.6.0:source-feature (source-feature) @ de.cau.cs.kieler.sccharts.feature ---
10-Aug-2020 12:50:51 [INFO] Building jar: /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/features/de.cau.cs.kieler.sccharts.feature/target/de.cau.cs.kieler.sccharts.feature-1.2.0-SNAPSHOT-sources-feature.jar
10-Aug-2020 12:50:51 [INFO]
10-Aug-2020 12:50:51 [INFO] --- tycho-p2-plugin:1.6.0:p2-metadata (attached-p2-metadata) @ de.cau.cs.kieler.sccharts.feature ---
10-Aug-2020 12:50:51 [INFO]                                                                         
10-Aug-2020 12:50:51 [INFO] ------------------------------------------------------------------------
10-Aug-2020 12:50:51 [INFO] Building de.cau.cs.kieler.esterel.feature 1.2.0-SNAPSHOT
10-Aug-2020 12:50:51 [INFO] ------------------------------------------------------------------------
10-Aug-2020 12:50:51 [INFO]
10-Aug-2020 12:50:51 [INFO] --- maven-clean-plugin:2.4.1:clean (default-clean) @ de.cau.cs.kieler.esterel.feature ---
10-Aug-2020 12:50:51 [INFO] Deleting /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/features/de.cau.cs.kieler.esterel.feature/target
10-Aug-2020 12:50:51 [INFO]
10-Aug-2020 12:50:51 [INFO] --- tycho-packaging-plugin:1.6.0:build-qualifier-aggregator (default-build-qualifier-aggregator) @ de.cau.cs.kieler.esterel.feature ---
10-Aug-2020 12:50:51 [INFO] The project's OSGi version is 1.2.0.202008101040
10-Aug-2020 12:50:51 [INFO]
10-Aug-2020 12:50:51 [INFO] --- tycho-packaging-plugin:1.6.0:validate-id (default-validate-id) @ de.cau.cs.kieler.esterel.feature ---
10-Aug-2020 12:50:51 [INFO]
10-Aug-2020 12:50:51 [INFO] --- tycho-packaging-plugin:1.6.0:validate-version (default-validate-version) @ de.cau.cs.kieler.esterel.feature ---
10-Aug-2020 12:50:51 [INFO]
10-Aug-2020 12:50:51 [INFO] --- maven-dependency-plugin:3.1.1:tree (tree) @ de.cau.cs.kieler.esterel.feature ---
10-Aug-2020 12:50:52 [INFO] Wrote dependency tree to: /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/features/de.cau.cs.kieler.esterel.feature/dependencies.txt
10-Aug-2020 12:50:52 [INFO]
10-Aug-2020 12:50:52 [INFO] --- tycho-source-plugin:1.6.0:plugin-source (plugin-source) @ de.cau.cs.kieler.esterel.feature ---
10-Aug-2020 12:50:52 [INFO]
10-Aug-2020 12:50:52 [INFO] --- target-platform-configuration:1.6.0:target-platform (default-target-platform) @ de.cau.cs.kieler.esterel.feature ---
10-Aug-2020 12:50:52 [INFO]
10-Aug-2020 12:50:52 [INFO] --- tycho-packaging-plugin:1.6.0:package-feature (default-package-feature) @ de.cau.cs.kieler.esterel.feature ---
10-Aug-2020 12:50:52 [INFO] Building jar: /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/features/de.cau.cs.kieler.esterel.feature/target/de.cau.cs.kieler.esterel.feature-1.2.0-SNAPSHOT.jar
10-Aug-2020 12:50:52 [INFO]
10-Aug-2020 12:50:52 [INFO] --- tycho-p2-plugin:1.6.0:p2-metadata-default (default-p2-metadata-default) @ de.cau.cs.kieler.esterel.feature ---
10-Aug-2020 12:50:52 [INFO]
10-Aug-2020 12:50:52 [INFO] --- tycho-p2-plugin:1.6.0:feature-p2-metadata (default-feature-p2-metadata) @ de.cau.cs.kieler.esterel.feature ---
10-Aug-2020 12:50:52 [INFO]
10-Aug-2020 12:50:52 [INFO] --- tycho-source-feature-plugin:1.6.0:source-feature (source-feature) @ de.cau.cs.kieler.esterel.feature ---
10-Aug-2020 12:50:52 [INFO] Building jar: /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/features/de.cau.cs.kieler.esterel.feature/target/de.cau.cs.kieler.esterel.feature-1.2.0-SNAPSHOT-sources-feature.jar
10-Aug-2020 12:50:52 [INFO]
10-Aug-2020 12:50:52 [INFO] --- tycho-p2-plugin:1.6.0:p2-metadata (attached-p2-metadata) @ de.cau.cs.kieler.esterel.feature ---
10-Aug-2020 12:50:52 [INFO]                                                                         
10-Aug-2020 12:50:52 [INFO] ------------------------------------------------------------------------
10-Aug-2020 12:50:52 [INFO] Building KIELER Semantics Repository 1.2.0-SNAPSHOT
10-Aug-2020 12:50:52 [INFO] ------------------------------------------------------------------------
10-Aug-2020 12:50:52 [INFO]
10-Aug-2020 12:50:52 [INFO] --- maven-clean-plugin:2.4.1:clean (default-clean) @ de.cau.cs.kieler.semantics.repository ---
10-Aug-2020 12:50:52 [INFO]
10-Aug-2020 12:50:52 [INFO] --- tycho-packaging-plugin:1.6.0:build-qualifier-aggregator (default-build-qualifier-aggregator) @ de.cau.cs.kieler.semantics.repository ---
10-Aug-2020 12:50:52 [INFO] The project's OSGi version is 1.2.0.202008101040
10-Aug-2020 12:50:52 [INFO]
10-Aug-2020 12:50:52 [INFO] --- maven-clean-plugin:2.4.1:clean (default-clean-1) @ de.cau.cs.kieler.semantics.repository ---
10-Aug-2020 12:50:52 [INFO]
10-Aug-2020 12:50:52 [INFO] --- maven-dependency-plugin:3.1.1:tree (tree) @ de.cau.cs.kieler.semantics.repository ---
10-Aug-2020 12:50:52 [INFO] Wrote dependency tree to: /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/build/de.cau.cs.kieler.semantics.repository/dependencies.txt
10-Aug-2020 12:50:52 [INFO]
10-Aug-2020 12:50:52 [INFO] --- maven-resources-plugin:2.5:resources (default-resources) @ de.cau.cs.kieler.semantics.repository ---
10-Aug-2020 12:50:52 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/maven/shared/maven-filtering/1.0/maven-filtering-1.0.pom
10-Aug-2020 12:50:52 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/maven/shared/maven-filtering/1.0/maven-filtering-1.0.pom (6 KB at 140.8 KB/sec)
10-Aug-2020 12:50:52 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/maven/shared/maven-shared-components/16/maven-shared-components-16.pom
10-Aug-2020 12:50:52 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/maven/shared/maven-shared-components/16/maven-shared-components-16.pom (9 KB at 203.1 KB/sec)
10-Aug-2020 12:50:52 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/maven/shared/maven-filtering/1.0/maven-filtering-1.0.jar
10-Aug-2020 12:50:52 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/maven/shared/maven-filtering/1.0/maven-filtering-1.0.jar (42 KB at 998.4 KB/sec)
10-Aug-2020 12:50:52 [debug] execute contextualize
10-Aug-2020 12:50:52 [INFO] Using 'UTF-8' encoding to copy filtered resources.
10-Aug-2020 12:50:52 [INFO] skip non existing resourceDirectory /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/build/de.cau.cs.kieler.semantics.repository/src/main/resources
10-Aug-2020 12:50:52 [INFO]
10-Aug-2020 12:50:52 [INFO] --- tycho-source-plugin:1.6.0:plugin-source (plugin-source) @ de.cau.cs.kieler.semantics.repository ---
10-Aug-2020 12:50:52 [INFO]
10-Aug-2020 12:50:52 [INFO] --- target-platform-configuration:1.6.0:target-platform (default-target-platform) @ de.cau.cs.kieler.semantics.repository ---
10-Aug-2020 12:50:52 [INFO]
10-Aug-2020 12:50:52 [INFO] --- tycho-p2-publisher-plugin:1.6.0:publish-osgi-ee (default-publish-osgi-ee) @ de.cau.cs.kieler.semantics.repository ---
10-Aug-2020 12:50:52 [INFO] Published profile IUs: [a.jre 9.0.0, config.a.jre 9.0.0]
10-Aug-2020 12:50:52 [INFO] Published profile IUs: [a.jre.javase 11.0.0, config.a.jre.javase 11.0.0]
10-Aug-2020 12:50:52 [INFO] Published profile IUs: [a.jre 9.0.0, config.a.jre 9.0.0]
10-Aug-2020 12:50:52 [INFO] Published profile IUs: [a.jre.javase 13.0.0, config.a.jre.javase 13.0.0]
10-Aug-2020 12:50:52 [INFO] Published profile IUs: [a.jre.javase 14.0.0, config.a.jre.javase 14.0.0]
10-Aug-2020 12:50:52 [INFO]
10-Aug-2020 12:50:52 [INFO] --- tycho-p2-publisher-plugin:1.6.0:publish-products (default-publish-products) @ de.cau.cs.kieler.semantics.repository ---
10-Aug-2020 12:50:52 [INFO]
10-Aug-2020 12:50:52 [INFO] --- tycho-p2-publisher-plugin:1.6.0:publish-categories (default-publish-categories) @ de.cau.cs.kieler.semantics.repository ---
10-Aug-2020 12:50:52 [INFO]
10-Aug-2020 12:50:52 [INFO] --- tycho-p2-publisher-plugin:1.6.0:attach-artifacts (default-attach-artifacts) @ de.cau.cs.kieler.semantics.repository ---
10-Aug-2020 12:50:52 [INFO]
10-Aug-2020 12:50:52 [INFO] --- tycho-p2-repository-plugin:1.6.0:assemble-repository (default-assemble-repository) @ de.cau.cs.kieler.semantics.repository ---
10-Aug-2020 12:50:56 [INFO]
10-Aug-2020 12:50:56 [INFO] --- tycho-p2-repository-plugin:1.6.0:archive-repository (default-archive-repository) @ de.cau.cs.kieler.semantics.repository ---
10-Aug-2020 12:50:56 [INFO] Building zip: /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/build/de.cau.cs.kieler.semantics.repository/target/de.cau.cs.kieler.semantics.repository-1.2.0-SNAPSHOT.zip
10-Aug-2020 12:50:58 [INFO]
10-Aug-2020 12:50:58 [INFO] --- maven-antrun-plugin:1.8:run (default) @ de.cau.cs.kieler.semantics.repository ---
10-Aug-2020 12:50:58 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-compress/1.5/ant-compress-1.5.pom
10-Aug-2020 12:50:58 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-compress/1.5/ant-compress-1.5.pom (3 KB at 60.7 KB/sec)
10-Aug-2020 12:50:58 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/maven-metadata.xml
10-Aug-2020 12:50:58 [INFO] Downloading: https://build.eclipse.org/common/xtend/maven/org/apache/ant/ant/maven-metadata.xml
10-Aug-2020 12:50:58 [INFO] Downloading: http://repository.apache.org/snapshots/org/apache/ant/ant/maven-metadata.xml
10-Aug-2020 12:50:58 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/maven-metadata.xml (2 KB at 34.4 KB/sec)
10-Aug-2020 12:51:00 [WARNING] Checksum validation failed, expected <!doctype but is c143977810d6345b60e0d28515110a949a29a3a8 for https://build.eclipse.org/common/xtend/maven/org/apache/ant/ant/maven-metadata.xml
10-Aug-2020 12:51:01 [WARNING] Could not validate integrity of download from https://build.eclipse.org/common/xtend/maven/org/apache/ant/ant/maven-metadata.xml: Checksum validation failed, expected <!doctype but is c143977810d6345b60e0d28515110a949a29a3a8
10-Aug-2020 12:51:01 [WARNING] Checksum validation failed, expected <!doctype but is c143977810d6345b60e0d28515110a949a29a3a8 for https://build.eclipse.org/common/xtend/maven/org/apache/ant/ant/maven-metadata.xml
10-Aug-2020 12:51:01 [INFO] Downloaded: https://build.eclipse.org/common/xtend/maven/org/apache/ant/ant/maven-metadata.xml (2 KB at 0.3 KB/sec)
10-Aug-2020 12:51:01 [WARNING] The metadata /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/./mvnrepowouteclipse/org/apache/ant/ant/maven-metadata-xtend.xml is invalid: unexpected markup <!d (position: START_DOCUMENT seen <!d... @1:3)
10-Aug-2020 12:51:01 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/1.8.0/ant-1.8.0.pom
10-Aug-2020 12:51:01 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/1.8.0/ant-1.8.0.pom (10 KB at 249.0 KB/sec)
10-Aug-2020 12:51:01 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.8.0/ant-parent-1.8.0.pom
10-Aug-2020 12:51:01 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.8.0/ant-parent-1.8.0.pom (5 KB at 108.0 KB/sec)
10-Aug-2020 12:51:01 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.8.0/ant-launcher-1.8.0.pom
10-Aug-2020 12:51:01 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.8.0/ant-launcher-1.8.0.pom (3 KB at 62.9 KB/sec)
10-Aug-2020 12:51:02 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/1.8.1/ant-1.8.1.pom
10-Aug-2020 12:51:02 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/1.8.1/ant-1.8.1.pom (9 KB at 209.6 KB/sec)
10-Aug-2020 12:51:02 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.8.1/ant-parent-1.8.1.pom
10-Aug-2020 12:51:02 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.8.1/ant-parent-1.8.1.pom (5 KB at 110.0 KB/sec)
10-Aug-2020 12:51:02 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.8.1/ant-launcher-1.8.1.pom
10-Aug-2020 12:51:02 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.8.1/ant-launcher-1.8.1.pom (3 KB at 62.9 KB/sec)
10-Aug-2020 12:51:02 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/1.8.2/ant-1.8.2.pom
10-Aug-2020 12:51:02 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/1.8.2/ant-1.8.2.pom (10 KB at 260.7 KB/sec)
10-Aug-2020 12:51:02 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.8.2/ant-parent-1.8.2.pom
10-Aug-2020 12:51:02 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.8.2/ant-parent-1.8.2.pom (5 KB at 123.7 KB/sec)
10-Aug-2020 12:51:02 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.8.2/ant-launcher-1.8.2.pom
10-Aug-2020 12:51:02 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.8.2/ant-launcher-1.8.2.pom (3 KB at 63.8 KB/sec)
10-Aug-2020 12:51:02 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/1.8.3/ant-1.8.3.pom
10-Aug-2020 12:51:02 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/1.8.3/ant-1.8.3.pom (10 KB at 261.9 KB/sec)
10-Aug-2020 12:51:02 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.8.3/ant-parent-1.8.3.pom
10-Aug-2020 12:51:02 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.8.3/ant-parent-1.8.3.pom (5 KB at 117.2 KB/sec)
10-Aug-2020 12:51:02 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.8.3/ant-launcher-1.8.3.pom
10-Aug-2020 12:51:02 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.8.3/ant-launcher-1.8.3.pom (3 KB at 65.9 KB/sec)
10-Aug-2020 12:51:02 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/1.8.4/ant-1.8.4.pom
10-Aug-2020 12:51:02 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/1.8.4/ant-1.8.4.pom (10 KB at 254.8 KB/sec)
10-Aug-2020 12:51:02 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.8.4/ant-parent-1.8.4.pom
10-Aug-2020 12:51:02 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.8.4/ant-parent-1.8.4.pom (5 KB at 117.2 KB/sec)
10-Aug-2020 12:51:02 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.8.4/ant-launcher-1.8.4.pom
10-Aug-2020 12:51:02 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.8.4/ant-launcher-1.8.4.pom (3 KB at 60.7 KB/sec)
10-Aug-2020 12:51:02 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.0/ant-1.9.0.pom
10-Aug-2020 12:51:02 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.0/ant-1.9.0.pom (10 KB at 225.5 KB/sec)
10-Aug-2020 12:51:02 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.0/ant-parent-1.9.0.pom
10-Aug-2020 12:51:02 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.0/ant-parent-1.9.0.pom (6 KB at 133.5 KB/sec)
10-Aug-2020 12:51:02 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.0/ant-launcher-1.9.0.pom
10-Aug-2020 12:51:02 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.0/ant-launcher-1.9.0.pom (3 KB at 57.0 KB/sec)
10-Aug-2020 12:51:02 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.1/ant-1.9.1.pom
10-Aug-2020 12:51:02 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.1/ant-1.9.1.pom (10 KB at 237.0 KB/sec)
10-Aug-2020 12:51:02 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.1/ant-parent-1.9.1.pom
10-Aug-2020 12:51:02 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.1/ant-parent-1.9.1.pom (6 KB at 140.3 KB/sec)
10-Aug-2020 12:51:02 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.1/ant-launcher-1.9.1.pom
10-Aug-2020 12:51:02 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.1/ant-launcher-1.9.1.pom (3 KB at 58.5 KB/sec)
10-Aug-2020 12:51:02 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.2/ant-1.9.2.pom
10-Aug-2020 12:51:02 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.2/ant-1.9.2.pom (10 KB at 243.3 KB/sec)
10-Aug-2020 12:51:02 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.2/ant-parent-1.9.2.pom
10-Aug-2020 12:51:02 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.2/ant-parent-1.9.2.pom (6 KB at 147.9 KB/sec)
10-Aug-2020 12:51:02 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.2/ant-launcher-1.9.2.pom
10-Aug-2020 12:51:02 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.2/ant-launcher-1.9.2.pom (3 KB at 54.3 KB/sec)
10-Aug-2020 12:51:02 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.3/ant-1.9.3.pom
10-Aug-2020 12:51:02 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.3/ant-1.9.3.pom (10 KB at 220.1 KB/sec)
10-Aug-2020 12:51:02 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.3/ant-parent-1.9.3.pom
10-Aug-2020 12:51:02 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.3/ant-parent-1.9.3.pom (6 KB at 144.0 KB/sec)
10-Aug-2020 12:51:02 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.3/ant-launcher-1.9.3.pom
10-Aug-2020 12:51:02 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.3/ant-launcher-1.9.3.pom (3 KB at 57.0 KB/sec)
10-Aug-2020 12:51:02 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.4/ant-1.9.4.pom
10-Aug-2020 12:51:03 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.4/ant-1.9.4.pom (10 KB at 247.4 KB/sec)
10-Aug-2020 12:51:03 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.4/ant-parent-1.9.4.pom
10-Aug-2020 12:51:03 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.4/ant-parent-1.9.4.pom (6 KB at 127.2 KB/sec)
10-Aug-2020 12:51:03 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.4/ant-launcher-1.9.4.pom
10-Aug-2020 12:51:03 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.4/ant-launcher-1.9.4.pom (3 KB at 55.6 KB/sec)
10-Aug-2020 12:51:03 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.5/ant-1.9.5.pom
10-Aug-2020 12:51:03 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.5/ant-1.9.5.pom (10 KB at 241.0 KB/sec)
10-Aug-2020 12:51:03 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.5/ant-parent-1.9.5.pom
10-Aug-2020 12:51:03 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.5/ant-parent-1.9.5.pom (6 KB at 152.0 KB/sec)
10-Aug-2020 12:51:03 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.5/ant-launcher-1.9.5.pom
10-Aug-2020 12:51:03 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.5/ant-launcher-1.9.5.pom (3 KB at 57.0 KB/sec)
10-Aug-2020 12:51:03 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.6/ant-1.9.6.pom
10-Aug-2020 12:51:03 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.6/ant-1.9.6.pom (10 KB at 254.0 KB/sec)
10-Aug-2020 12:51:03 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.6/ant-parent-1.9.6.pom
10-Aug-2020 12:51:03 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.6/ant-parent-1.9.6.pom (6 KB at 136.8 KB/sec)
10-Aug-2020 12:51:03 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.6/ant-launcher-1.9.6.pom
10-Aug-2020 12:51:03 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.6/ant-launcher-1.9.6.pom (3 KB at 57.0 KB/sec)
10-Aug-2020 12:51:03 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.7/ant-1.9.7.pom
10-Aug-2020 12:51:03 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.7/ant-1.9.7.pom (10 KB at 261.1 KB/sec)
10-Aug-2020 12:51:03 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.7/ant-parent-1.9.7.pom
10-Aug-2020 12:51:03 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.7/ant-parent-1.9.7.pom (6 KB at 144.0 KB/sec)
10-Aug-2020 12:51:03 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.7/ant-launcher-1.9.7.pom
10-Aug-2020 12:51:03 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.7/ant-launcher-1.9.7.pom (3 KB at 60.0 KB/sec)
10-Aug-2020 12:51:03 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.8/ant-1.9.8.pom
10-Aug-2020 12:51:03 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.8/ant-1.9.8.pom (10 KB at 229.3 KB/sec)
10-Aug-2020 12:51:03 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.8/ant-parent-1.9.8.pom
10-Aug-2020 12:51:03 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.8/ant-parent-1.9.8.pom (6 KB at 140.3 KB/sec)
10-Aug-2020 12:51:03 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.8/ant-launcher-1.9.8.pom
10-Aug-2020 12:51:03 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.8/ant-launcher-1.9.8.pom (3 KB at 58.5 KB/sec)
10-Aug-2020 12:51:03 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.9/ant-1.9.9.pom
10-Aug-2020 12:51:03 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.9/ant-1.9.9.pom (10 KB at 218.6 KB/sec)
10-Aug-2020 12:51:03 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.9/ant-parent-1.9.9.pom
10-Aug-2020 12:51:03 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.9/ant-parent-1.9.9.pom (6 KB at 147.9 KB/sec)
10-Aug-2020 12:51:03 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.9/ant-launcher-1.9.9.pom
10-Aug-2020 12:51:03 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.9/ant-launcher-1.9.9.pom (3 KB at 61.6 KB/sec)
10-Aug-2020 12:51:03 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.10/ant-1.9.10.pom
10-Aug-2020 12:51:03 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.10/ant-1.9.10.pom (10 KB at 270.6 KB/sec)
10-Aug-2020 12:51:03 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.10/ant-parent-1.9.10.pom
10-Aug-2020 12:51:03 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.10/ant-parent-1.9.10.pom (6 KB at 156.9 KB/sec)
10-Aug-2020 12:51:03 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.10/ant-launcher-1.9.10.pom
10-Aug-2020 12:51:03 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.10/ant-launcher-1.9.10.pom (3 KB at 60.1 KB/sec)
10-Aug-2020 12:51:03 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.11/ant-1.9.11.pom
10-Aug-2020 12:51:03 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.11/ant-1.9.11.pom (10 KB at 263.3 KB/sec)
10-Aug-2020 12:51:03 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.11/ant-parent-1.9.11.pom
10-Aug-2020 12:51:03 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.11/ant-parent-1.9.11.pom (6 KB at 137.3 KB/sec)
10-Aug-2020 12:51:03 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.11/ant-launcher-1.9.11.pom
10-Aug-2020 12:51:03 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.11/ant-launcher-1.9.11.pom (3 KB at 60.1 KB/sec)
10-Aug-2020 12:51:03 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.12/ant-1.9.12.pom
10-Aug-2020 12:51:04 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.12/ant-1.9.12.pom (10 KB at 256.4 KB/sec)
10-Aug-2020 12:51:04 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.12/ant-parent-1.9.12.pom
10-Aug-2020 12:51:04 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.12/ant-parent-1.9.12.pom (6 KB at 152.5 KB/sec)
10-Aug-2020 12:51:04 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.12/ant-launcher-1.9.12.pom
10-Aug-2020 12:51:04 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.12/ant-launcher-1.9.12.pom (3 KB at 58.5 KB/sec)
10-Aug-2020 12:51:04 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.13/ant-1.9.13.pom
10-Aug-2020 12:51:04 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.13/ant-1.9.13.pom (10 KB at 216.5 KB/sec)
10-Aug-2020 12:51:04 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.13/ant-parent-1.9.13.pom
10-Aug-2020 12:51:04 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.13/ant-parent-1.9.13.pom (6 KB at 140.8 KB/sec)
10-Aug-2020 12:51:04 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.13/ant-launcher-1.9.13.pom
10-Aug-2020 12:51:04 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.13/ant-launcher-1.9.13.pom (3 KB at 53.1 KB/sec)
10-Aug-2020 12:51:04 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.14/ant-1.9.14.pom
10-Aug-2020 12:51:04 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.14/ant-1.9.14.pom (10 KB at 256.4 KB/sec)
10-Aug-2020 12:51:04 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.14/ant-parent-1.9.14.pom
10-Aug-2020 12:51:04 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.14/ant-parent-1.9.14.pom (6 KB at 133.9 KB/sec)
10-Aug-2020 12:51:04 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.14/ant-launcher-1.9.14.pom
10-Aug-2020 12:51:04 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.14/ant-launcher-1.9.14.pom (3 KB at 60.1 KB/sec)
10-Aug-2020 12:51:04 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.15/ant-1.9.15.pom
10-Aug-2020 12:51:04 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.15/ant-1.9.15.pom (10 KB at 249.8 KB/sec)
10-Aug-2020 12:51:04 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.15/ant-parent-1.9.15.pom
10-Aug-2020 12:51:04 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.9.15/ant-parent-1.9.15.pom (6 KB at 144.5 KB/sec)
10-Aug-2020 12:51:04 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.15/ant-launcher-1.9.15.pom
10-Aug-2020 12:51:04 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.15/ant-launcher-1.9.15.pom (3 KB at 58.5 KB/sec)
10-Aug-2020 12:51:04 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/1.10.0/ant-1.10.0.pom
10-Aug-2020 12:51:04 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/1.10.0/ant-1.10.0.pom (10 KB at 254.1 KB/sec)
10-Aug-2020 12:51:04 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.10.0/ant-parent-1.10.0.pom
10-Aug-2020 12:51:04 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.10.0/ant-parent-1.10.0.pom (6 KB at 148.0 KB/sec)
10-Aug-2020 12:51:04 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.10.0/ant-launcher-1.10.0.pom
10-Aug-2020 12:51:04 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.10.0/ant-launcher-1.10.0.pom (3 KB at 60.1 KB/sec)
10-Aug-2020 12:51:04 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/1.10.1/ant-1.10.1.pom
10-Aug-2020 12:51:04 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/1.10.1/ant-1.10.1.pom (10 KB at 251.2 KB/sec)
10-Aug-2020 12:51:04 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.10.1/ant-parent-1.10.1.pom
10-Aug-2020 12:51:04 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.10.1/ant-parent-1.10.1.pom (6 KB at 144.8 KB/sec)
10-Aug-2020 12:51:04 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.10.1/ant-launcher-1.10.1.pom
10-Aug-2020 12:51:04 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.10.1/ant-launcher-1.10.1.pom (3 KB at 60.1 KB/sec)
10-Aug-2020 12:51:04 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/1.10.2/ant-1.10.2.pom
10-Aug-2020 12:51:04 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/1.10.2/ant-1.10.2.pom (10 KB at 253.5 KB/sec)
10-Aug-2020 12:51:04 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.10.2/ant-parent-1.10.2.pom
10-Aug-2020 12:51:04 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.10.2/ant-parent-1.10.2.pom (6 KB at 138.1 KB/sec)
10-Aug-2020 12:51:04 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.10.2/ant-launcher-1.10.2.pom
10-Aug-2020 12:51:04 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.10.2/ant-launcher-1.10.2.pom (3 KB at 61.7 KB/sec)
10-Aug-2020 12:51:04 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/1.10.3/ant-1.10.3.pom
10-Aug-2020 12:51:04 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/1.10.3/ant-1.10.3.pom (11 KB at 271.7 KB/sec)
10-Aug-2020 12:51:04 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.10.3/ant-parent-1.10.3.pom
10-Aug-2020 12:51:04 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.10.3/ant-parent-1.10.3.pom (6 KB at 139.0 KB/sec)
10-Aug-2020 12:51:04 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.10.3/ant-launcher-1.10.3.pom
10-Aug-2020 12:51:04 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.10.3/ant-launcher-1.10.3.pom (3 KB at 61.7 KB/sec)
10-Aug-2020 12:51:04 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/1.10.4/ant-1.10.4.pom
10-Aug-2020 12:51:05 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/1.10.4/ant-1.10.4.pom (11 KB at 249.4 KB/sec)
10-Aug-2020 12:51:05 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.10.4/ant-parent-1.10.4.pom
10-Aug-2020 12:51:05 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.10.4/ant-parent-1.10.4.pom (6 KB at 146.4 KB/sec)
10-Aug-2020 12:51:05 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.10.4/ant-launcher-1.10.4.pom
10-Aug-2020 12:51:05 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.10.4/ant-launcher-1.10.4.pom (3 KB at 51.8 KB/sec)
10-Aug-2020 12:51:05 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/1.10.5/ant-1.10.5.pom
10-Aug-2020 12:51:05 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/1.10.5/ant-1.10.5.pom (11 KB at 276.3 KB/sec)
10-Aug-2020 12:51:05 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.10.5/ant-parent-1.10.5.pom
10-Aug-2020 12:51:05 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.10.5/ant-parent-1.10.5.pom (6 KB at 154.5 KB/sec)
10-Aug-2020 12:51:05 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.10.5/ant-launcher-1.10.5.pom
10-Aug-2020 12:51:05 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.10.5/ant-launcher-1.10.5.pom (3 KB at 61.7 KB/sec)
10-Aug-2020 12:51:05 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/1.10.6/ant-1.10.6.pom
10-Aug-2020 12:51:05 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/1.10.6/ant-1.10.6.pom (16 KB at 420.4 KB/sec)
10-Aug-2020 12:51:05 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.10.6/ant-parent-1.10.6.pom
10-Aug-2020 12:51:05 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.10.6/ant-parent-1.10.6.pom (7 KB at 129.7 KB/sec)
10-Aug-2020 12:51:05 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.10.6/ant-launcher-1.10.6.pom
10-Aug-2020 12:51:05 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.10.6/ant-launcher-1.10.6.pom (4 KB at 81.2 KB/sec)
10-Aug-2020 12:51:05 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/1.10.7/ant-1.10.7.pom
10-Aug-2020 12:51:05 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/1.10.7/ant-1.10.7.pom (16 KB at 431.8 KB/sec)
10-Aug-2020 12:51:05 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.10.7/ant-parent-1.10.7.pom
10-Aug-2020 12:51:05 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.10.7/ant-parent-1.10.7.pom (7 KB at 167.5 KB/sec)
10-Aug-2020 12:51:05 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.10.7/ant-launcher-1.10.7.pom
10-Aug-2020 12:51:05 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.10.7/ant-launcher-1.10.7.pom (4 KB at 83.5 KB/sec)
10-Aug-2020 12:51:05 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/1.10.8/ant-1.10.8.pom
10-Aug-2020 12:51:05 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/1.10.8/ant-1.10.8.pom (16 KB at 409.7 KB/sec)
10-Aug-2020 12:51:05 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.10.8/ant-parent-1.10.8.pom
10-Aug-2020 12:51:05 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-parent/1.10.8/ant-parent-1.10.8.pom (7 KB at 172.1 KB/sec)
10-Aug-2020 12:51:05 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.10.8/ant-launcher-1.10.8.pom
10-Aug-2020 12:51:05 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.10.8/ant-launcher-1.10.8.pom (4 KB at 83.5 KB/sec)
10-Aug-2020 12:51:05 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/commons/commons-compress/1.14/commons-compress-1.14.pom
10-Aug-2020 12:51:05 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/commons/commons-compress/1.14/commons-compress-1.14.pom (13 KB at 346.9 KB/sec)
10-Aug-2020 12:51:05 [INFO] Downloading: https://repo1.maven.org/maven2/org/tukaani/xz/1.6/xz-1.6.pom
10-Aug-2020 12:51:05 [INFO] Downloaded: https://repo1.maven.org/maven2/org/tukaani/xz/1.6/xz-1.6.pom (2 KB at 53.1 KB/sec)
10-Aug-2020 12:51:05 [INFO] Downloading: https://repo1.maven.org/maven2/org/brotli/dec/0.1.2/dec-0.1.2.pom
10-Aug-2020 12:51:05 [INFO] Downloaded: https://repo1.maven.org/maven2/org/brotli/dec/0.1.2/dec-0.1.2.pom (5 KB at 113.6 KB/sec)
10-Aug-2020 12:51:05 [INFO] Downloading: https://repo1.maven.org/maven2/org/brotli/parent/0.1.2/parent-0.1.2.pom
10-Aug-2020 12:51:05 [INFO] Downloaded: https://repo1.maven.org/maven2/org/brotli/parent/0.1.2/parent-0.1.2.pom (3 KB at 83.0 KB/sec)
10-Aug-2020 12:51:05 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-compress/1.5/ant-compress-1.5.jar
10-Aug-2020 12:51:05 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/commons/commons-compress/1.14/commons-compress-1.14.jar
10-Aug-2020 12:51:05 [INFO] Downloading: https://repo1.maven.org/maven2/org/tukaani/xz/1.6/xz-1.6.jar
10-Aug-2020 12:51:05 [INFO] Downloading: https://repo1.maven.org/maven2/org/brotli/dec/0.1.2/dec-0.1.2.jar
10-Aug-2020 12:51:05 [INFO] Downloading: https://repo1.maven.org/maven2/org/codehaus/plexus/plexus-utils/3.0.20/plexus-utils-3.0.20.jar
10-Aug-2020 12:51:05 [INFO] Downloaded: https://repo1.maven.org/maven2/org/tukaani/xz/1.6/xz-1.6.jar (101 KB at 2142.8 KB/sec)
10-Aug-2020 12:51:05 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.4/ant-1.9.4.jar
10-Aug-2020 12:51:05 [INFO] Downloaded: https://repo1.maven.org/maven2/org/brotli/dec/0.1.2/dec-0.1.2.jar (96 KB at 1996.2 KB/sec)
10-Aug-2020 12:51:05 [INFO] Downloading: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.4/ant-launcher-1.9.4.jar
10-Aug-2020 12:51:05 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-compress/1.5/ant-compress-1.5.jar (161 KB at 3338.7 KB/sec)
10-Aug-2020 12:51:05 [INFO] Downloaded: https://repo1.maven.org/maven2/org/codehaus/plexus/plexus-utils/3.0.20/plexus-utils-3.0.20.jar (238 KB at 4239.8 KB/sec)
10-Aug-2020 12:51:05 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.4/ant-launcher-1.9.4.jar (18 KB at 213.7 KB/sec)
10-Aug-2020 12:51:05 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/commons/commons-compress/1.14/commons-compress-1.14.jar (518 KB at 5949.3 KB/sec)
10-Aug-2020 12:51:05 [INFO] Downloaded: https://repo1.maven.org/maven2/org/apache/ant/ant/1.9.4/ant-1.9.4.jar (1972 KB at 11268.3 KB/sec)
10-Aug-2020 12:51:06 [INFO] Executing tasks
10-Aug-2020 12:51:06
10-Aug-2020 12:51:06 main:
10-Aug-2020 12:51:06     [unzip] Expanding: /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/build/de.cau.cs.kieler.semantics.repository/target/repository/content.jar into /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/build/de.cau.cs.kieler.semantics.repository/target/repository
10-Aug-2020 12:51:06    [delete] Deleting: /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/build/de.cau.cs.kieler.semantics.repository/target/repository/content.jar
10-Aug-2020 12:51:06      [copy] Copying 1 file to /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/build/de.cau.cs.kieler.semantics.repository/target/repository
10-Aug-2020 12:51:06      [copy] Copying 1 file to /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/build/de.cau.cs.kieler.semantics.repository/target/repository
10-Aug-2020 12:51:06      [xslt] Processing /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/build/de.cau.cs.kieler.semantics.repository/target/repository/content.copy.xml to /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/build/de.cau.cs.kieler.semantics.repository/target/repository/content.xml
10-Aug-2020 12:51:06      [xslt] Loading stylesheet /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/build/de.cau.cs.kieler.semantics.repository/contentfix.xsl
10-Aug-2020 12:51:06       [zip] Building zip: /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/build/de.cau.cs.kieler.semantics.repository/target/repository/content.jar
10-Aug-2020 12:51:06    [cmp:xz] Building: content.xml.xz
10-Aug-2020 12:51:06    [delete] Deleting: /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/build/de.cau.cs.kieler.semantics.repository/target/repository/category.xml
10-Aug-2020 12:51:06    [delete] Deleting: /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/build/de.cau.cs.kieler.semantics.repository/target/repository/content.xml
10-Aug-2020 12:51:06    [delete] Deleting: /var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1/semantics/build/de.cau.cs.kieler.semantics.repository/target/repository/content.copy.xml
10-Aug-2020 12:51:06 [INFO] Executed tasks
10-Aug-2020 12:51:06 [INFO]
10-Aug-2020 12:51:06 [INFO] --- maven-resources-plugin:2.5:copy-resources (copy-folder) @ de.cau.cs.kieler.semantics.repository ---
10-Aug-2020 12:51:06 [debug] execute contextualize
10-Aug-2020 12:51:06 [INFO] Using 'UTF-8' encoding to copy filtered resources.
10-Aug-2020 12:51:06 [INFO] Copying 2 resources
10-Aug-2020 12:51:07 [INFO] ------------------------------------------------------------------------
10-Aug-2020 12:51:07 [INFO] Reactor Summary:
10-Aug-2020 12:51:07 [INFO]
10-Aug-2020 12:51:07 [INFO] parent ............................................. SUCCESS [  7.567 s]
10-Aug-2020 12:51:07 [INFO] plugins ............................................ SUCCESS [  0.005 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.annotations ....................... SUCCESS [ 31.701 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.annotations.ide ................... SUCCESS [  1.495 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.annotations.ui .................... SUCCESS [  1.756 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.core .............................. SUCCESS [  1.063 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.core.perspectives ................. SUCCESS [  0.174 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.core.product ...................... SUCCESS [  1.079 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.kexpressions ...................... SUCCESS [ 12.144 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.kicool ............................ SUCCESS [ 15.563 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.scg ............................... SUCCESS [ 21.011 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.scl ............................... SUCCESS [  5.644 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.esterel ........................... SUCCESS [ 14.318 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.esterel.compiler .................. SUCCESS [  1.086 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.kexpressions.ide .................. SUCCESS [  3.206 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.sccharts .......................... SUCCESS [ 21.188 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.language.server ................... SUCCESS [  1.155 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.scl.ide ........................... SUCCESS [  2.517 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.esterel.ide ....................... SUCCESS [  5.711 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.kexpressions.ui ................... SUCCESS [  1.753 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.scl.ui ............................ SUCCESS [  1.637 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.esterel.ui ........................ SUCCESS [  1.994 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.kicool.ide ........................ SUCCESS [  2.872 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.kicool.ui ......................... SUCCESS [ 10.341 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.simulation ........................ SUCCESS [  5.759 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.kivis ............................. SUCCESS [  1.571 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.simulation.ide .................... SUCCESS [  2.982 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.kivis.ide ......................... SUCCESS [  1.250 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.simulation.ui ..................... SUCCESS [  4.734 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.kivis.ui .......................... SUCCESS [  2.743 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.lustre ............................ SUCCESS [  5.296 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.lustre.ide ........................ SUCCESS [  3.148 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.sccharts.ide ...................... SUCCESS [  2.862 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.sccharts.ui ....................... SUCCESS [ 15.873 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.scg.klighd ........................ SUCCESS [  8.862 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.language.server.launch ............ SUCCESS [ 29.371 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.lustre.compiler ................... SUCCESS [  2.157 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.lustre.ui ......................... SUCCESS [  2.002 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.sccharts.legacy ................... SUCCESS [  7.244 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.sccharts.legacy.ui ................ SUCCESS [  5.454 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.verification ...................... SUCCESS [  2.750 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.verification.ui ................... SUCCESS [  1.899 s]
10-Aug-2020 12:51:07 [INFO] KIELER Semantics Target Platform ................... SUCCESS [  0.005 s]
10-Aug-2020 12:51:07 [INFO] features ........................................... SUCCESS [  0.002 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.product.feature ................... SUCCESS [  0.089 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.framework.feature ................. SUCCESS [  0.478 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.sccharts.feature .................. SUCCESS [  0.470 s]
10-Aug-2020 12:51:07 [INFO] de.cau.cs.kieler.esterel.feature ................... SUCCESS [  0.533 s]
10-Aug-2020 12:51:07 [INFO] KIELER Semantics Repository ........................ SUCCESS [ 14.817 s]
10-Aug-2020 12:51:07 [INFO] ------------------------------------------------------------------------
10-Aug-2020 12:51:07 [INFO] BUILD SUCCESS
10-Aug-2020 12:51:07 [INFO] ------------------------------------------------------------------------
10-Aug-2020 12:51:07 [INFO] Total time: 10:20 min
10-Aug-2020 12:51:07 [INFO] Finished at: 2020-08-10T12:51:07+02:00
10-Aug-2020 12:51:08 [INFO] Final Memory: 297M/1535M
10-Aug-2020 12:51:08 [INFO] ------------------------------------------------------------------------
10-Aug-2020 12:51:09 Finished task 'Build Plugins' with result: Success
10-Aug-2020 12:51:09 Running post build plugin 'NCover Results Collector'
10-Aug-2020 12:51:09 Running post build plugin 'Artifact Copier'
10-Aug-2020 12:51:09 Publishing an artifact: Semantics p2 Repository
10-Aug-2020 12:51:09 Finished publishing of artifact Non required shared artifact: [Semantics p2 Repository], pattern: [**/*.*] anchored at: [semantics/build/de.cau.cs.kieler.semantics.repository/target/repository/] in 197.6 ms
10-Aug-2020 12:51:09 Publishing an artifact: LanguageServer Jar
10-Aug-2020 12:51:09 Unable to publish artifact [LanguageServer Jar]:
10-Aug-2020 12:51:09 The artifact is required, build will now fail.
10-Aug-2020 12:51:09 The artifact hasn't been successfully published after 5.318 ms
10-Aug-2020 12:51:09 Running post build plugin 'npm Cache Cleanup'
10-Aug-2020 12:51:09 Running post build plugin 'Clover Results Collector'
10-Aug-2020 12:51:09 Running post build plugin 'Docker Container Cleanup'
10-Aug-2020 12:51:11 Successfully removed working directory at '/var/atlassian/bamboo/xml-data/build-dir/KISEMA-TSIWE-JOB1'
10-Aug-2020 12:51:11 Finalising the build...
10-Aug-2020 12:51:11 Stopping timer.
10-Aug-2020 12:51:11 Build KISEMA-TSIWE-JOB1-9 completed.
10-Aug-2020 12:51:11 Running on server: post build plugin 'NCover Results Collector'
10-Aug-2020 12:51:11 Running on server: post build plugin 'Build Hanging Detection Configuration'
10-Aug-2020 12:51:11 Running on server: post build plugin 'Clover Delta Calculator'
10-Aug-2020 12:51:11 Running on server: post build plugin 'Maven Dependencies Postprocessor'
10-Aug-2020 12:51:11 All post build plugins have finished
10-Aug-2020 12:51:11 Generating build results summary...
10-Aug-2020 12:51:11 Saving build results to disk...
10-Aug-2020 12:51:11 Store variable context...
10-Aug-2020 12:51:11 Indexing build results...
10-Aug-2020 12:51:11 Finished building KISEMA-TSIWE-JOB1-9.