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.debug 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:build-qualifier (default-build-qualifier) @ org.overture.ide.debug ---
[INFO] The project's OSGi version is 2.6.5.201903050750
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-test/ide/debug' for files matching the pattern '**/*.java' - excludes: **/target/*
[TASKS] Found 284 files to scan for tasks
Found 73 open tasks.
[TASKS] Computing warning deltas based on reference build #196
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:validate-id (default-validate-id) @ org.overture.ide.debug ---
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:validate-version (default-validate-version) @ org.overture.ide.debug ---
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ org.overture.ide.debug ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ org.overture.ide.debug ---
[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/debug/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.debug ---
[INFO] Configured Artifact: org.overturetool.core:interpreter:2.6.5-SNAPSHOT:jar
[INFO] Configured Artifact: org.overturetool.core:pog:2.6.5-SNAPSHOT:jar
[INFO] Copying interpreter-2.6.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-test/ide/debug/jars/interpreter.jar
[INFO] Copying pog-2.6.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-test/ide/debug/jars/pog.jar
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ org.overture.ide.debug ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/resources
[INFO] 
[INFO] --- tycho-compiler-plugin:0.25.0:compile (default-compile) @ org.overture.ide.debug ---
[INFO] Compiling 284 source files to /var/lib/jenkins/workspace/overture-test/ide/debug/target/classes
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmDebugElement.java:[35] 
	import org.eclipse.debug.internal.ui.viewers.model.provisional.IModelProxyFactory;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Discouraged access: The type 'IModelProxyFactory' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmDebugElement.java:[61] 
	public Object getAdapter(@SuppressWarnings("rawtypes") Class adapter)
	       ^^^^^^
Type safety: The return type Object for getAdapter(Class) from the type VdmDebugElement needs unchecked conversion to conform to T from the type PlatformObject
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmDebugElement.java:[91] 
	if (adapter == IModelProxyFactory.class)
	               ^^^^^^^^^^^^^^^^^^
Discouraged access: The type 'IModelProxyFactory' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmDebugElement.java:[96] 
	return super.getAdapter(adapter);
	       ^^^^^^^^^^^^^^^^^^^^^^^^^
Type safety: Unchecked invocation getAdapter(Class) of the generic method getAdapter(Class<T>) of type PlatformObject
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmDebugElement.java:[96] 
	return super.getAdapter(adapter);
	                        ^^^^^^^
Type safety: The expression of type Class needs unchecked conversion to conform to Class<Object>
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/ConsoleFactoryDebug.java:[32] 
	new ConsoleWriter(IDebugConstants.CONSOLE_DEBUG_NAME).show();
	^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Resource leak: '<unassigned Closeable value>' is never closed
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmVariableWrapperValue.java:[89] 
	public Object getAdapter(@SuppressWarnings("rawtypes") Class adapter)
	       ^^^^^^
Type safety: The return type Object for getAdapter(Class) from the type VdmVariableWrapperValue needs unchecked conversion to conform to T from the type IAdaptable
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ProcessConsolePageParticipant.java:[37] 
	import org.eclipse.debug.internal.ui.DebugUIPlugin;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Discouraged access: The type 'DebugUIPlugin' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ProcessConsolePageParticipant.java:[189] 
	public Object getAdapter(Class required)
	       ^^^^^^
Type safety: The return type Object for getAdapter(Class) from the type ProcessConsolePageParticipant needs unchecked conversion to conform to T from the type IAdaptable
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ProcessConsolePageParticipant.java:[189] 
	public Object getAdapter(Class required)
	                         ^^^^^
Class is a raw type. References to generic type Class<T> should be parameterized
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ProcessConsolePageParticipant.java:[270] 
	DebugUIPlugin.getStandardDisplay().asyncExec(r);
	^^^^^^^^^^^^^
Discouraged access: The type 'DebugUIPlugin' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ProcessConsolePageParticipant.java:[270] 
	DebugUIPlugin.getStandardDisplay().asyncExec(r);
	^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Discouraged access: The method 'DebugUIPlugin.getStandardDisplay()' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/actions/VdmBreakpointPropertiesRulerAction.java:[26] 
	import org.eclipse.jface.action.Action;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The import org.eclipse.jface.action.Action is never used
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/dbgp/internal/managers/DbgpNotificationManager.java:[36] 
	private final ListenerList listeners = new ListenerList();
	              ^^^^^^^^^^^^
ListenerList is a raw type. References to generic type ListenerList<E> should be parameterized
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/dbgp/internal/managers/DbgpNotificationManager.java:[36] 
	private final ListenerList listeners = new ListenerList();
	                                           ^^^^^^^^^^^^
ListenerList is a raw type. References to generic type ListenerList<E> should be parameterized
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/dbgp/internal/managers/DbgpNotificationManager.java:[78] 
	listeners.add(listener);
	^^^^^^^^^^^^^^^^^^^^^^^
Type safety: The method add(Object) belongs to the raw type ListenerList. References to generic type ListenerList<E> should be parameterized
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmDebugTarget.java:[93] 
	private final ListenerList listeners;
	              ^^^^^^^^^^^^
ListenerList is a raw type. References to generic type ListenerList<E> should be parameterized
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmDebugTarget.java:[170] 
	this.listeners = new ListenerList();
	                     ^^^^^^^^^^^^
ListenerList is a raw type. References to generic type ListenerList<E> should be parameterized
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmDebugTarget.java:[555] 
	listeners.add(listener);
	^^^^^^^^^^^^^^^^^^^^^^^
Type safety: The method add(Object) belongs to the raw type ListenerList. References to generic type ListenerList<E> should be parameterized
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/ConsoleFactoryLogging.java:[32] 
	new ConsoleWriter(IDebugConstants.CONSOLE_LOGGING_NAME).show();
	^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Resource leak: '<unassigned Closeable value>' is never closed
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/dbgp/internal/DbgpTermination.java:[28] 
	private final ListenerList listeners = new ListenerList();
	              ^^^^^^^^^^^^
ListenerList is a raw type. References to generic type ListenerList<E> should be parameterized
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/dbgp/internal/DbgpTermination.java:[28] 
	private final ListenerList listeners = new ListenerList();
	                                           ^^^^^^^^^^^^
ListenerList is a raw type. References to generic type ListenerList<E> should be parameterized
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/dbgp/internal/DbgpTermination.java:[49] 
	listeners.add(listener);
	^^^^^^^^^^^^^^^^^^^^^^^
Type safety: The method add(Object) belongs to the raw type ListenerList. References to generic type ListenerList<E> should be parameterized
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ConsoleTerminateAction.java:[33] 
	import org.eclipse.debug.internal.ui.DebugPluginImages;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Discouraged access: The type 'DebugPluginImages' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ConsoleTerminateAction.java:[34] 
	import org.eclipse.debug.internal.ui.IDebugHelpContextIds;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Discouraged access: The type 'IDebugHelpContextIds' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ConsoleTerminateAction.java:[35] 
	import org.eclipse.debug.internal.ui.IInternalDebugUIConstants;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Discouraged access: The type 'IInternalDebugUIConstants' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ConsoleTerminateAction.java:[36] 
	import org.eclipse.debug.internal.ui.commands.actions.DebugCommandService;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Discouraged access: The type 'DebugCommandService' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ConsoleTerminateAction.java:[37] 
	import org.eclipse.debug.internal.ui.views.console.ConsoleMessages;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Discouraged access: The type 'ConsoleMessages' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ConsoleTerminateAction.java:[63] 
	super(ConsoleMessages.ConsoleTerminateAction_0);
	      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Discouraged access: The type 'ConsoleMessages' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ConsoleTerminateAction.java:[63] 
	super(ConsoleMessages.ConsoleTerminateAction_0);
	                      ^^^^^^^^^^^^^^^^^^^^^^^^
Discouraged access: The field 'ConsoleMessages.ConsoleTerminateAction_0' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ConsoleTerminateAction.java:[64] 
	PlatformUI.getWorkbench().getHelpSystem().setHelp(this, IDebugHelpContextIds.CONSOLE_TERMINATE_ACTION);
	                                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Discouraged access: The type 'IDebugHelpContextIds' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ConsoleTerminateAction.java:[64] 
	PlatformUI.getWorkbench().getHelpSystem().setHelp(this, IDebugHelpContextIds.CONSOLE_TERMINATE_ACTION);
	                                                                             ^^^^^^^^^^^^^^^^^^^^^^^^
Discouraged access: The field 'IDebugHelpContextIds.CONSOLE_TERMINATE_ACTION' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ConsoleTerminateAction.java:[67] 
	setToolTipText(ConsoleMessages.ConsoleTerminateAction_1);
	               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Discouraged access: The type 'ConsoleMessages' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ConsoleTerminateAction.java:[67] 
	setToolTipText(ConsoleMessages.ConsoleTerminateAction_1);
	                               ^^^^^^^^^^^^^^^^^^^^^^^^
Discouraged access: The field 'ConsoleMessages.ConsoleTerminateAction_1' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ConsoleTerminateAction.java:[68] 
	setImageDescriptor(DebugPluginImages.getImageDescriptor(IInternalDebugUIConstants.IMG_LCL_TERMINATE));
	                   ^^^^^^^^^^^^^^^^^
Discouraged access: The type 'DebugPluginImages' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ConsoleTerminateAction.java:[68] 
	setImageDescriptor(DebugPluginImages.getImageDescriptor(IInternalDebugUIConstants.IMG_LCL_TERMINATE));
	                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Discouraged access: The method 'DebugPluginImages.getImageDescriptor(String)' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ConsoleTerminateAction.java:[68] 
	setImageDescriptor(DebugPluginImages.getImageDescriptor(IInternalDebugUIConstants.IMG_LCL_TERMINATE));
	                                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Discouraged access: The type 'IInternalDebugUIConstants' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ConsoleTerminateAction.java:[68] 
	setImageDescriptor(DebugPluginImages.getImageDescriptor(IInternalDebugUIConstants.IMG_LCL_TERMINATE));
	                                                                                  ^^^^^^^^^^^^^^^^^
Discouraged access: The field 'IInternalDebugUIConstants.IMG_LCL_TERMINATE' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ConsoleTerminateAction.java:[69] 
	setDisabledImageDescriptor(DebugPluginImages.getImageDescriptor(IInternalDebugUIConstants.IMG_DLCL_TERMINATE));
	                           ^^^^^^^^^^^^^^^^^
Discouraged access: The type 'DebugPluginImages' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ConsoleTerminateAction.java:[69] 
	setDisabledImageDescriptor(DebugPluginImages.getImageDescriptor(IInternalDebugUIConstants.IMG_DLCL_TERMINATE));
	                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Discouraged access: The method 'DebugPluginImages.getImageDescriptor(String)' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ConsoleTerminateAction.java:[69] 
	setDisabledImageDescriptor(DebugPluginImages.getImageDescriptor(IInternalDebugUIConstants.IMG_DLCL_TERMINATE));
	                                                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Discouraged access: The type 'IInternalDebugUIConstants' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ConsoleTerminateAction.java:[69] 
	setDisabledImageDescriptor(DebugPluginImages.getImageDescriptor(IInternalDebugUIConstants.IMG_DLCL_TERMINATE));
	                                                                                          ^^^^^^^^^^^^^^^^^^
Discouraged access: The field 'IInternalDebugUIConstants.IMG_DLCL_TERMINATE' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ConsoleTerminateAction.java:[70] 
	setHoverImageDescriptor(DebugPluginImages.getImageDescriptor(IInternalDebugUIConstants.IMG_LCL_TERMINATE));
	                        ^^^^^^^^^^^^^^^^^
Discouraged access: The type 'DebugPluginImages' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ConsoleTerminateAction.java:[70] 
	setHoverImageDescriptor(DebugPluginImages.getImageDescriptor(IInternalDebugUIConstants.IMG_LCL_TERMINATE));
	                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Discouraged access: The method 'DebugPluginImages.getImageDescriptor(String)' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ConsoleTerminateAction.java:[70] 
	setHoverImageDescriptor(DebugPluginImages.getImageDescriptor(IInternalDebugUIConstants.IMG_LCL_TERMINATE));
	                                                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Discouraged access: The type 'IInternalDebugUIConstants' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ConsoleTerminateAction.java:[70] 
	setHoverImageDescriptor(DebugPluginImages.getImageDescriptor(IInternalDebugUIConstants.IMG_LCL_TERMINATE));
	                                                                                       ^^^^^^^^^^^^^^^^^
Discouraged access: The field 'IInternalDebugUIConstants.IMG_LCL_TERMINATE' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ConsoleTerminateAction.java:[71] 
	PlatformUI.getWorkbench().getHelpSystem().setHelp(this, IDebugHelpContextIds.CONSOLE_TERMINATE_ACTION);
	                                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Discouraged access: The type 'IDebugHelpContextIds' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ConsoleTerminateAction.java:[71] 
	PlatformUI.getWorkbench().getHelpSystem().setHelp(this, IDebugHelpContextIds.CONSOLE_TERMINATE_ACTION);
	                                                                             ^^^^^^^^^^^^^^^^^^^^^^^^
Discouraged access: The field 'IDebugHelpContextIds.CONSOLE_TERMINATE_ACTION' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ConsoleTerminateAction.java:[100] 
	DebugCommandService service = DebugCommandService.getService(fWindow);
	^^^^^^^^^^^^^^^^^^^
Discouraged access: The type 'DebugCommandService' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ConsoleTerminateAction.java:[100] 
	DebugCommandService service = DebugCommandService.getService(fWindow);
	                              ^^^^^^^^^^^^^^^^^^^
Discouraged access: The type 'DebugCommandService' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ConsoleTerminateAction.java:[100] 
	DebugCommandService service = DebugCommandService.getService(fWindow);
	                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Discouraged access: The method 'DebugCommandService.getService(IWorkbenchWindow)' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/ConsoleTerminateAction.java:[101] 
	service.executeCommand(ITerminateHandler.class, targets.toArray(), null);
	^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Discouraged access: The method 'DebugCommandService.executeCommand(Class<?>, Object[], ICommandParticipant)' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.debug.ui/3.12.50.v20170920-1329/org.eclipse.debug.ui-3.12.50.v20170920-1329.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/model/VdmBreakpointAdapterFactory.java:[34] 
	public Object getAdapter(Object adaptableObject,
	       ^^^^^^
Type safety: The return type Object for getAdapter(Object, Class) from the type VdmBreakpointAdapterFactory needs unchecked conversion to conform to T from the type IAdapterFactory
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/model/VdmBreakpointAdapterFactory.java:[68] 
	public Class[] getAdapterList()
	       ^^^^^^^
Type safety: The return type Class[] for getAdapterList() from the type VdmBreakpointAdapterFactory needs unchecked conversion to conform to Class<?>[] from the type IAdapterFactory
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/dbgp/internal/DbgpDebugingEngine.java:[187] 
	private final ListenerList listeners = new ListenerList();
	              ^^^^^^^^^^^^
ListenerList is a raw type. References to generic type ListenerList<E> should be parameterized
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/dbgp/internal/DbgpDebugingEngine.java:[187] 
	private final ListenerList listeners = new ListenerList();
	                                           ^^^^^^^^^^^^
ListenerList is a raw type. References to generic type ListenerList<E> should be parameterized
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/dbgp/internal/DbgpDebugingEngine.java:[211] 
	listeners.add(listener);
	^^^^^^^^^^^^^^^^^^^^^^^
Type safety: The method add(Object) belongs to the raw type ListenerList. References to generic type ListenerList<E> should be parameterized
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/ui/propertypages/VdmLineBreakpointPropertyPage.java:[170] 
	IVdmLineBreakpoint breakpoint = (IVdmLineBreakpoint) getBreakpoint();
	                   ^^^^^^^^^^
The value of the local variable breakpoint is not used
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmThreadManager.java:[89] 
	private final ListenerList listeners = new ListenerList(ListenerList.IDENTITY);
	              ^^^^^^^^^^^^
ListenerList is a raw type. References to generic type ListenerList<E> should be parameterized
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmThreadManager.java:[89] 
	private final ListenerList listeners = new ListenerList(ListenerList.IDENTITY);
	                                           ^^^^^^^^^^^^
ListenerList is a raw type. References to generic type ListenerList<E> should be parameterized
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmThreadManager.java:[117] 
	listeners.add(listener);
	^^^^^^^^^^^^^^^^^^^^^^^
Type safety: The method add(Object) belongs to the raw type ListenerList. References to generic type ListenerList<E> should be parameterized
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmValueProxy.java:[122] 
	public Object getAdapter(@SuppressWarnings("rawtypes") Class adapter)
	       ^^^^^^
Type safety: The return type Object for getAdapter(Class) from the type VdmValueProxy needs unchecked conversion to conform to T from the type IAdaptable
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmValueProxy.java:[124] 
	return origin.getAdapter(adapter);
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^
Type safety: Unchecked invocation getAdapter(Class) of the generic method getAdapter(Class<T>) of type IAdaptable
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmValueProxy.java:[124] 
	return origin.getAdapter(adapter);
	                         ^^^^^^^
Type safety: The expression of type Class needs unchecked conversion to conform to Class<Object>
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/logging/LogView.java:[79] 
	viewer.setSorter(null);
	       ^^^^^^^^^^^^^^^
The method setSorter(ViewerSorter) from the type StructuredViewer is deprecated
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/dbgp/internal/managers/DbgpStreamManager.java:[33] 
	private final ListenerList listeners = new ListenerList();
	              ^^^^^^^^^^^^
ListenerList is a raw type. References to generic type ListenerList<E> should be parameterized
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/dbgp/internal/managers/DbgpStreamManager.java:[33] 
	private final ListenerList listeners = new ListenerList();
	                                           ^^^^^^^^^^^^
ListenerList is a raw type. References to generic type ListenerList<E> should be parameterized
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/dbgp/internal/managers/DbgpStreamManager.java:[99] 
	listeners.add(listener);
	^^^^^^^^^^^^^^^^^^^^^^^
Type safety: The method add(Object) belongs to the raw type ListenerList. References to generic type ListenerList<E> should be parameterized
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/launching/DebugSessionAcceptor.java:[31] 
	import org.eclipse.core.runtime.SubProgressMonitor;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The type SubProgressMonitor is deprecated
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/launching/DebugSessionAcceptor.java:[116] 
	final SubProgressMonitor sub = new SubProgressMonitor(parentMonitor, 1);
	      ^^^^^^^^^^^^^^^^^^
The type SubProgressMonitor is deprecated
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/launching/DebugSessionAcceptor.java:[116] 
	final SubProgressMonitor sub = new SubProgressMonitor(parentMonitor, 1);
	                                   ^^^^^^^^^^^^^^^^^^
The type SubProgressMonitor is deprecated
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/launching/DebugSessionAcceptor.java:[116] 
	final SubProgressMonitor sub = new SubProgressMonitor(parentMonitor, 1);
	                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The constructor SubProgressMonitor(IProgressMonitor, int) is deprecated
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/launching/DebugSessionAcceptor.java:[117] 
	sub.beginTask(Util.EMPTY_STRING, timeout / WAIT_CHUNK);
	    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The method beginTask(String, int) from the type SubProgressMonitor is deprecated
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/launching/DebugSessionAcceptor.java:[157] 
	sub.worked((int) ((now - waitStart) / WAIT_CHUNK));
	    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The method worked(int) from the type SubProgressMonitor is deprecated
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/launching/DebugSessionAcceptor.java:[167] 
	sub.done();
	    ^^^^^^
The method done() from the type SubProgressMonitor is deprecated
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/launching/DebugSessionAcceptor.java:[243] 
	initializeMonitor = new SubProgressMonitor(parentMonitor, 1);
	                        ^^^^^^^^^^^^^^^^^^
The type SubProgressMonitor is deprecated
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/debug/src/main/java/org/overture/ide/debug/core/launching/DebugSessionAcceptor.java:[243] 
	initializeMonitor = new SubProgressMonitor(parentMonitor, 1);
	                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The constructor SubProgressMonitor(IProgressMonitor, int) is deprecated
77 problems (77 warnings)
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ org.overture.ide.debug ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-test/ide/debug/src/test/resources
[INFO] 
[INFO] --- target-platform-configuration:0.25.0:target-platform (default-target-platform) @ org.overture.ide.debug ---
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:package-plugin (default-package-plugin) @ org.overture.ide.debug ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-test/ide/debug/target/org.overture.ide.debug-2.6.5-SNAPSHOT.jar
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:p2-metadata-default (default-p2-metadata-default) @ org.overture.ide.debug ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ org.overture.ide.debug ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-test/ide/debug/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ org.overture.ide.debug ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ org.overture.ide.debug ---
[INFO] Installing /var/lib/jenkins/workspace/overture-test/ide/debug/target/org.overture.ide.debug-2.6.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/ide/org.overture.ide.debug/2.6.5-SNAPSHOT/org.overture.ide.debug-2.6.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-test/ide/debug/pom.xml to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/ide/org.overture.ide.debug/2.6.5-SNAPSHOT/org.overture.ide.debug-2.6.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-test/ide/debug/target/p2content.xml to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/ide/org.overture.ide.debug/2.6.5-SNAPSHOT/org.overture.ide.debug-2.6.5-SNAPSHOT-p2metadata.xml
[INFO] Installing /var/lib/jenkins/workspace/overture-test/ide/debug/target/p2artifacts.xml to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/ide/org.overture.ide.debug/2.6.5-SNAPSHOT/org.overture.ide.debug-2.6.5-SNAPSHOT-p2artifacts.xml
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:update-local-index (default-update-local-index) @ org.overture.ide.debug ---