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.ui 2.6.5-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:build-qualifier (default-build-qualifier) @ org.overture.ide.ui ---
[INFO] The project's OSGi version is 2.6.5.201903050939
[TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-test/ide/ui' for files matching the pattern '**/*.java' - excludes: **/target/*
[TASKS] Found 117 files to scan for tasks
Found 28 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.ui ---
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:validate-version (default-validate-version) @ org.overture.ide.ui ---
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ org.overture.ide.ui ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ org.overture.ide.ui ---
[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/ui/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ org.overture.ide.ui ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 9 resources to /var/lib/jenkins/workspace/overture-test/ide/ui/includes/lib
[INFO] 
[INFO] --- tycho-compiler-plugin:0.25.0:compile (default-compile) @ org.overture.ide.ui ---
[INFO] Compiling 117 source files to /var/lib/jenkins/workspace/overture-test/ide/ui/target/classes
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/editor/core/VdmDocument.java:[63] 
	protected synchronized Map getDocumentManagedPositions()
	                       ^^^
Type safety: The return type Map for getDocumentManagedPositions() from the type VdmDocument needs unchecked conversion to conform to Map<String,List<Position>> from the type AbstractDocument
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/templates/VdmCompletionExtractor.java:[11] 
	import org.overture.ast.definitions.AClassClassDefinition;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The import org.overture.ast.definitions.AClassClassDefinition is never used
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/utility/ast/AstLocationSearcherBase.java:[59] 
	private static final long serialVersionUID = 1L;
	                          ^^^^^^^^^^^^^^^^
The value of the field AstLocationSearcherBase.serialVersionUID is not used
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/templates/VdmTemplateManager.java:[94] 
	VdmUIPlugin.getDefault().savePluginPreferences();
	                         ^^^^^^^^^^^^^^^^^^^^^^^
The method savePluginPreferences() from the type Plugin is deprecated
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/utility/VdmTypeCheckerUi.java:[29] 
	import org.eclipse.core.runtime.SubProgressMonitor;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The type SubProgressMonitor is deprecated
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/utility/VdmTypeCheckerUi.java:[118] 
	IProgressMonitor monitor = new SubProgressMonitor(monitorParent, 20);
	                               ^^^^^^^^^^^^^^^^^^
The type SubProgressMonitor is deprecated
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/utility/VdmTypeCheckerUi.java:[118] 
	IProgressMonitor monitor = new SubProgressMonitor(monitorParent, 20);
	                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The constructor SubProgressMonitor(IProgressMonitor, int) is deprecated
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/internal/viewsupport/ProblemMarkerManager.java:[109] 
	private ListenerList fListeners;
	        ^^^^^^^^^^^^
ListenerList is a raw type. References to generic type ListenerList<E> should be parameterized
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/internal/viewsupport/ProblemMarkerManager.java:[117] 
	fListeners= new ListenerList();
	                ^^^^^^^^^^^^
ListenerList is a raw type. References to generic type ListenerList<E> should be parameterized
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/internal/viewsupport/ProblemMarkerManager.java:[188] 
	fListeners.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/ui/src/main/java/org/overture/ide/ui/internal/viewsupport/VdmUILabelProvider.java:[46] 
	protected ListenerList fListeners = new ListenerList();
	          ^^^^^^^^^^^^
ListenerList is a raw type. References to generic type ListenerList<E> should be parameterized
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/internal/viewsupport/VdmUILabelProvider.java:[46] 
	protected ListenerList fListeners = new ListenerList();
	                                        ^^^^^^^^^^^^
ListenerList is a raw type. References to generic type ListenerList<E> should be parameterized
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/internal/viewsupport/VdmUILabelProvider.java:[282] 
	fListeners.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/ui/src/main/java/org/overture/ide/ui/outline/DisplayNameCreator.java:[24] 
	import org.overture.ast.definitions.AExplicitFunctionDefinition;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The import org.overture.ast.definitions.AExplicitFunctionDefinition is never used
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/outline/DisplayNameCreator.java:[25] 
	import org.overture.ast.definitions.AExplicitOperationDefinition;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The import org.overture.ast.definitions.AExplicitOperationDefinition is never used
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/outline/VdmContentOutlinePage.java:[117] 
	private ListenerList fSelectionChangedListeners = 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/ui/src/main/java/org/overture/ide/ui/outline/VdmContentOutlinePage.java:[117] 
	private ListenerList fSelectionChangedListeners = 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/ui/src/main/java/org/overture/ide/ui/outline/VdmContentOutlinePage.java:[118] 
	private ListenerList fPostSelectionChangedListeners = 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/ui/src/main/java/org/overture/ide/ui/outline/VdmContentOutlinePage.java:[118] 
	private ListenerList fPostSelectionChangedListeners = 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/ui/src/main/java/org/overture/ide/ui/outline/VdmContentOutlinePage.java:[295] 
	fSelectionChangedListeners.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/ui/src/main/java/org/overture/ide/ui/outline/VdmContentOutlinePage.java:[326] 
	fPostSelectionChangedListeners.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/ui/src/main/java/org/overture/ide/ui/outline/OutlineSorter.java:[24] 
	import org.eclipse.jface.viewers.ViewerSorter;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The type ViewerSorter is deprecated
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/outline/OutlineSorter.java:[28] 
	class OutlineSorter extends ViewerSorter
	                            ^^^^^^^^^^^^
The type ViewerSorter is deprecated
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/navigator/VdmNavigatorLabelProvider.java:[38] 
	@SuppressWarnings("restriction")
	                  ^^^^^^^^^^^^^
Unnecessary @SuppressWarnings("restriction")
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/editor/core/VdmSourceViewerConfiguration.java:[44] 
	import org.eclipse.ui.internal.editors.text.EditorsPlugin;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Discouraged access: The type 'EditorsPlugin' is not API (restriction on classpath entry '/var/lib/jenkins/workspace/overture-test/.repository/p2/osgi/bundle/org.eclipse.ui.editors/3.11.0.v20170202-1823/org.eclipse.ui.editors-3.11.0.v20170202-1823.jar')
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/VdmProblemsLabelDecorator.java:[107] 
	private ListenerList fListeners;
	        ^^^^^^^^^^^^
ListenerList is a raw type. References to generic type ListenerList<E> should be parameterized
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/VdmProblemsLabelDecorator.java:[431] 
	fListeners = new ListenerList();
	                 ^^^^^^^^^^^^
ListenerList is a raw type. References to generic type ListenerList<E> should be parameterized
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/VdmProblemsLabelDecorator.java:[433] 
	fListeners.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/ui/src/main/java/org/overture/ide/ui/editor/syntax/MultipleWordsWordRule.java:[64] 
	@SuppressWarnings("unchecked")
	                  ^^^^^^^^^^^
Unnecessary @SuppressWarnings("unchecked")
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/utility/ast/AstLocationSearcher2.java:[36] 
	private static final long serialVersionUID = 1L;
	                          ^^^^^^^^^^^^^^^^
The value of the field AstLocationSearcher2.serialVersionUID is not used
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/templates/VdmOperationCompletionExtractor.java:[7] 
	import org.overture.ast.definitions.AExplicitFunctionDefinition;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The import org.overture.ast.definitions.AExplicitFunctionDefinition is never used
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/templates/VdmOperationCompletionExtractor.java:[9] 
	import org.overture.ast.definitions.AImplicitFunctionDefinition;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The import org.overture.ast.definitions.AImplicitFunctionDefinition is never used
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/preferences/WorkbenchPreferencePageTemplates.java:[52] 
	VdmUIPlugin.getDefault().savePluginPreferences();
	                         ^^^^^^^^^^^^^^^^^^^^^^^
The method savePluginPreferences() from the type Plugin is deprecated
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/editor/syntax/VdmCodeScanner.java:[32] 
	import org.eclipse.jface.text.rules.SingleLineRule;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The import org.eclipse.jface.text.rules.SingleLineRule is never used
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/editor/syntax/VdmCodeScanner.java:[54] 
	IToken comment = new Token(new TextAttribute(provider.getColor(VdmColorProvider.SINGLE_LINE_COMMENT)));
	       ^^^^^^^
The value of the local variable comment is not used
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/outline/VdmOutlineTreeContentProvider.java:[45] 
	import org.overture.typechecker.assistant.definition.PDefinitionListAssistantTC;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The import org.overture.typechecker.assistant.definition.PDefinitionListAssistantTC is never used
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/VdmPluginImages.java:[654] 
	fData = fDescriptor.getImageData();
	                    ^^^^^^^^^^^^^^
The method getImageData() from the type ImageDescriptor is deprecated
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/popup/actions/NewAction.java:[28] 
	import org.eclipse.ui.IActionDelegate;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The import org.eclipse.ui.IActionDelegate is never used
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/templates/VdmContentAssistProcessor.java:[93] 
	Arrays.sort(proposals, new Comparator() {
	                           ^^^^^^^^^^
Comparator is a raw type. References to generic type Comparator<T> should be parameterized
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/adapters/AdapterFactoryWorkbenchAdapter.java:[218] 
	public Object getAdapter(Object adaptableObject, Class adapterType)
	       ^^^^^^
Type safety: The return type Object for getAdapter(Object, Class) from the type AdapterFactoryWorkbenchAdapter needs unchecked conversion to conform to T from the type IAdapterFactory
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/adapters/AdapterFactoryWorkbenchAdapter.java:[242] 
	public Class[] getAdapterList()
	       ^^^^^^^
Type safety: The return type Class[] for getAdapterList() from the type AdapterFactoryWorkbenchAdapter needs unchecked conversion to conform to Class<?>[] from the type IAdapterFactory
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/templates/VdmFunctionCompletionExtractor.java:[7] 
	import org.eclipse.jface.text.IRegion;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The import org.eclipse.jface.text.IRegion is never used
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/templates/VdmFunctionCompletionExtractor.java:[8] 
	import org.eclipse.jface.text.ITextSelection;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The import org.eclipse.jface.text.ITextSelection is never used
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/templates/VdmFunctionCompletionExtractor.java:[9] 
	import org.eclipse.jface.text.ITextViewer;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The import org.eclipse.jface.text.ITextViewer is never used
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/templates/VdmFunctionCompletionExtractor.java:[10] 
	import org.eclipse.jface.text.Region;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The import org.eclipse.jface.text.Region is never used
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/templates/VdmFunctionCompletionExtractor.java:[11] 
	import org.eclipse.jface.text.contentassist.ICompletionProposal;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The import org.eclipse.jface.text.contentassist.ICompletionProposal is never used
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/templates/VdmFunctionCompletionExtractor.java:[12] 
	import org.eclipse.jface.text.templates.Template;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The import org.eclipse.jface.text.templates.Template is never used
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/templates/VdmFunctionCompletionExtractor.java:[13] 
	import org.eclipse.jface.text.templates.TemplateContext;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The import org.eclipse.jface.text.templates.TemplateContext is never used
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/templates/VdmFunctionCompletionExtractor.java:[15] 
	import org.overture.ast.definitions.AExplicitOperationDefinition;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The import org.overture.ast.definitions.AExplicitOperationDefinition is never used
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/templates/VdmFunctionCompletionExtractor.java:[17] 
	import org.overture.ast.definitions.AImplicitOperationDefinition;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The import org.overture.ast.definitions.AImplicitOperationDefinition is never used
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/templates/VdmFunctionCompletionExtractor.java:[18] 
	import org.overture.ast.node.INode;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^
The import org.overture.ast.node.INode is never used
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/internal/viewsupport/VdmElementImageDescriptor.java:[176] 
	drawImage(bg, 0, 0);
	^^^^^^^^^^^^^^^^^^^
The method drawImage(ImageData, int, int) from the type CompositeImageDescriptor is deprecated
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/internal/viewsupport/VdmElementImageDescriptor.java:[185] 
	ImageData data = descriptor.getImageData(); // see bug 51965:
	                            ^^^^^^^^^^^^^^
The method getImageData() from the type ImageDescriptor is deprecated
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/internal/viewsupport/VdmElementImageDescriptor.java:[200] 
	drawImage(data, x, pos.y);
	^^^^^^^^^^^^^^^^^^^^^^^^^
The method drawImage(ImageData, int, int) from the type CompositeImageDescriptor is deprecated
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/internal/viewsupport/VdmElementImageDescriptor.java:[210] 
	drawImage(data, x, y);
	^^^^^^^^^^^^^^^^^^^^^
The method drawImage(ImageData, int, int) from the type CompositeImageDescriptor is deprecated
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/templates/VdmCompleteProcessor.java:[251] 
	private void addContainerTypes(INode def, final int offset,
			final List<ICompletionProposal> proposals,
			final VdmCompletionContext info)
	             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The method addContainerTypes(INode, int, List<ICompletionProposal>, VdmCompletionContext) from the type VdmCompleteProcessor is never used locally
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/editor/core/VdmAnnotationHover.java:[94] 
	@SuppressWarnings("unchecked")
	                  ^^^^^^^^^^^
Unnecessary @SuppressWarnings("unchecked")
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/editor/core/VdmEditor.java:[189] 
	public Object getAdapter(@SuppressWarnings("rawtypes") Class required) {
	       ^^^^^^
Type safety: The return type Object for getAdapter(Class) from the type VdmEditor needs unchecked conversion to conform to T from the type TextEditor
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/editor/core/VdmEditor.java:[197] 
	return super.getAdapter(required);
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^
Type safety: Unchecked invocation getAdapter(Class) of the generic method getAdapter(Class<T>) of type TextEditor
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/editor/core/VdmEditor.java:[197] 
	return super.getAdapter(required);
	                        ^^^^^^^^
Type safety: The expression of type Class needs unchecked conversion to conform to Class<Object>
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/navigator/VdmViewerComparator.java:[5] 
	import org.eclipse.jface.viewers.ViewerSorter;
	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The type ViewerSorter is deprecated
[WARNING] /var/lib/jenkins/workspace/overture-test/ide/ui/src/main/java/org/overture/ide/ui/navigator/VdmViewerComparator.java:[7] 
	public class VdmViewerComparator extends ViewerSorter {
	                                         ^^^^^^^^^^^^
The type ViewerSorter is deprecated
62 problems (62 warnings)
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ org.overture.ide.ui ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/overture-test/ide/ui/src/test/resources
[INFO] 
[INFO] --- target-platform-configuration:0.25.0:target-platform (default-target-platform) @ org.overture.ide.ui ---
[INFO] 
[INFO] --- tycho-packaging-plugin:0.25.0:package-plugin (default-package-plugin) @ org.overture.ide.ui ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-test/ide/ui/target/org.overture.ide.ui-2.6.5-SNAPSHOT.jar
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:p2-metadata-default (default-p2-metadata-default) @ org.overture.ide.ui ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ org.overture.ide.ui ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/overture-test/ide/ui/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ org.overture.ide.ui ---
[INFO] Skipping javadoc generation
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ org.overture.ide.ui ---
[INFO] Installing /var/lib/jenkins/workspace/overture-test/ide/ui/target/org.overture.ide.ui-2.6.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/ide/org.overture.ide.ui/2.6.5-SNAPSHOT/org.overture.ide.ui-2.6.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-test/ide/ui/pom.xml to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/ide/org.overture.ide.ui/2.6.5-SNAPSHOT/org.overture.ide.ui-2.6.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-test/ide/ui/target/p2content.xml to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/ide/org.overture.ide.ui/2.6.5-SNAPSHOT/org.overture.ide.ui-2.6.5-SNAPSHOT-p2metadata.xml
[INFO] Installing /var/lib/jenkins/workspace/overture-test/ide/ui/target/p2artifacts.xml to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/ide/org.overture.ide.ui/2.6.5-SNAPSHOT/org.overture.ide.ui-2.6.5-SNAPSHOT-p2artifacts.xml
[INFO] 
[INFO] --- tycho-p2-plugin:0.25.0:update-local-index (default-update-local-index) @ org.overture.ide.ui ---