SuccessConsole Output

Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
[INFO]                                                                         
[INFO] ------------------------------------------------------------------------
[INFO] Building org.overture.ide.core 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:build-qualifier (default-build-qualifier) @ org.overture.ide.core ---
[INFO] The project's OSGi version is 2.6.5.201903050939
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-test/ide/core' for files matching the pattern '**/*.java' - excludes: **/target/*
[TASKS] Found 46 files to scan for tasks
Found 12 open tasks.
[TASKS] Computing warning deltas based on reference build #197
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:validate-id (default-validate-id) @ org.overture.ide.core ---
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:validate-version (default-validate-version) @ org.overture.ide.core ---
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ org.overture.ide.core ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ org.overture.ide.core ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-test/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-test/ide/core/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- maven-dependency-plugin:2.10:copy (copy-dependencies) @ org.overture.ide.core ---
[INFO] Configured Artifact: org.overturetool.core:ast:2.6.5-SNAPSHOT:jar
[INFO] Configured Artifact: org.overturetool.core:parser:2.6.5-SNAPSHOT:jar
[INFO] Copying ast-2.6.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-test/ide/core/jars/ast.jar
[INFO] Copying parser-2.6.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-test/ide/core/jars/parser.jar
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ org.overture.ide.core ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-test/ide/core/src/main/resources
[INFO] 
[INFO] --- tycho-compiler-plugin:0.25.0:compile (default-compile) @ org.overture.ide.core ---
[INFO] Compiling 46 source files to /var/lib/jenkins/workspace/overture-test/ide/core/target/classes
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/core/src/main/java/org/overture/ide/core/resources/AdapterFactoryNode.java:[39] 
	public Object getAdapter(Object adaptableObject,
	       ^^^^^^
Type safety: The return type Object for getAdapter(Object, Class) from the type AdapterFactoryNode needs unchecked conversion to conform to T from the type IAdapterFactory
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/core/src/main/java/org/overture/ide/core/resources/AdapterFactoryNode.java:[90] 
	public Class[] getAdapterList()
	       ^^^^^^^
Type safety: The return type Class[] for getAdapterList() from the type AdapterFactoryNode needs unchecked conversion to conform to Class<?>[] from the type IAdapterFactory
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/core/src/main/java/org/overture/ide/core/resources/VdmProjectAdapterFactory.java:[31] 
	public Object getAdapter(Object adaptableObject, @SuppressWarnings("rawtypes") Class adapterType)
	       ^^^^^^
Type safety: The return type Object for getAdapter(Object, Class) from the type VdmProjectAdapterFactory needs unchecked conversion to conform to T from the type IAdapterFactory
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/core/src/main/java/org/overture/ide/core/resources/VdmProjectAdapterFactory.java:[57] 
	public Class[] getAdapterList()
	       ^^^^^^^
Type safety: The return type Class[] for getAdapterList() from the type VdmProjectAdapterFactory needs unchecked conversion to conform to Class<?>[] from the type IAdapterFactory
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/core/src/main/java/org/overture/ide/core/resources/AdapterFactoryVdmSourceUnit.java:[33] 
	public Object getAdapter(Object adaptableObject,
	       ^^^^^^
Type safety: The return type Object for getAdapter(Object, Class) from the type AdapterFactoryVdmSourceUnit needs unchecked conversion to conform to T from the type IAdapterFactory
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/core/src/main/java/org/overture/ide/core/resources/AdapterFactoryVdmSourceUnit.java:[66] 
	public Class[] getAdapterList()
	       ^^^^^^^
Type safety: The return type Class[] for getAdapterList() from the type AdapterFactoryVdmSourceUnit needs unchecked conversion to conform to Class<?>[] from the type IAdapterFactory
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/core/src/main/java/org/overture/ide/core/IVdmElement.java:[25] 
	import org.overture.ide.core.resources.IVdmProject;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The import org.overture.ide.core.resources.IVdmProject is never used
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/core/src/main/java/org/overture/ide/core/IVdmElement.java:[26] 
	import org.overture.ide.core.resources.IVdmSourceUnit;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The import org.overture.ide.core.resources.IVdmSourceUnit is never used
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/core/src/main/java/org/overture/ide/core/ast/VdmModel.java:[230] 
	public Object getAdapter(@SuppressWarnings("rawtypes") Class adapter)
	       ^^^^^^
Type safety: The return type Object for getAdapter(Class) from the type VdmModel needs unchecked conversion to conform to T from the type IAdaptable
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/core/src/main/java/org/overture/ide/core/ast/VdmModel.java:[232] 
	return Platform.getAdapterManager().getAdapter(this, adapter);
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Type safety: Unchecked invocation getAdapter(VdmModel, Class) of the generic method getAdapter(Object, Class<T>) of type IAdapterManager
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/core/src/main/java/org/overture/ide/core/ast/VdmModel.java:[232] 
	return Platform.getAdapterManager().getAdapter(this, adapter);
	                                                     ^^^^^^^
Type safety: The expression of type Class needs unchecked conversion to conform to Class<Object>
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/core/src/main/java/org/overture/ide/internal/core/resources/VdmProject.java:[840] 
	public Object getAdapter(@SuppressWarnings("rawtypes") Class adapter)
	       ^^^^^^
Type safety: The return type Object for getAdapter(Class) from the type VdmProject needs unchecked conversion to conform to T from the type IAdaptable
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/core/src/main/java/org/overture/ide/internal/core/resources/VdmProject.java:[842] 
	return Platform.getAdapterManager().getAdapter(this, adapter);
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Type safety: Unchecked invocation getAdapter(VdmProject, Class) of the generic method getAdapter(Object, Class<T>) of type IAdapterManager
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/core/src/main/java/org/overture/ide/internal/core/resources/VdmProject.java:[842] 
	return Platform.getAdapterManager().getAdapter(this, adapter);
	                                                     ^^^^^^^
Type safety: The expression of type Class needs unchecked conversion to conform to Class<Object>
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/core/src/main/java/org/overture/ide/core/resources/VdmSourceUnit.java:[53] 
	public Object getAdapter(@SuppressWarnings("rawtypes") Class adapter)
	       ^^^^^^
Type safety: The return type Object for getAdapter(Class) from the type VdmSourceUnit needs unchecked conversion to conform to T from the type IAdaptable
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/core/src/main/java/org/overture/ide/core/resources/VdmSourceUnit.java:[55] 
	return Platform.getAdapterManager().getAdapter(this, adapter);
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Type safety: Unchecked invocation getAdapter(VdmSourceUnit, Class) of the generic method getAdapter(Object, Class<T>) of type IAdapterManager
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/core/src/main/java/org/overture/ide/core/resources/VdmSourceUnit.java:[55] 
	return Platform.getAdapterManager().getAdapter(this, adapter);
	                                                     ^^^^^^^
Type safety: The expression of type Class needs unchecked conversion to conform to Class<Object>
17 problems (17 warnings)
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ org.overture.ide.core ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-test/ide/core/src/test/resources
[INFO] 
[INFO] --- target-platform-configuration:0.25.0:target-platform (default-target-platform) @ org.overture.ide.core ---
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:package-plugin (default-package-plugin) @ org.overture.ide.core ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-test/ide/core/target/org.overture.ide.core-2.6.5-SNAPSHOT.jar
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:p2-metadata-default (default-p2-metadata-default) @ org.overture.ide.core ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ org.overture.ide.core ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-test/ide/core/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ org.overture.ide.core ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ org.overture.ide.core ---
[INFO] Installing /var/lib/jenkins/workspace/overture-test/ide/core/target/org.overture.ide.core-2.6.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/ide/org.overture.ide.core/2.6.5-SNAPSHOT/org.overture.ide.core-2.6.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-test/ide/core/pom.xml to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/ide/org.overture.ide.core/2.6.5-SNAPSHOT/org.overture.ide.core-2.6.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-test/ide/core/target/p2content.xml to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/ide/org.overture.ide.core/2.6.5-SNAPSHOT/org.overture.ide.core-2.6.5-SNAPSHOT-p2metadata.xml
[INFO] Installing /var/lib/jenkins/workspace/overture-test/ide/core/target/p2artifacts.xml to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/ide/org.overture.ide.core/2.6.5-SNAPSHOT/org.overture.ide.core-2.6.5-SNAPSHOT-p2artifacts.xml
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:update-local-index (default-update-local-index) @ org.overture.ide.core ---