diff --git a/bundles/org.eclipse.ui.ide.application/src/org/eclipse/ui/internal/ide/application/IDEApplication.java b/bundles/org.eclipse.ui.ide.application/src/org/eclipse/ui/internal/ide/application/IDEApplication.java index 5deff13b81f..4ff4f850f2e 100644 --- a/bundles/org.eclipse.ui.ide.application/src/org/eclipse/ui/internal/ide/application/IDEApplication.java +++ b/bundles/org.eclipse.ui.ide.application/src/org/eclipse/ui/internal/ide/application/IDEApplication.java @@ -441,8 +441,6 @@ protected String getWorkspaceLockInfo(URL workspaceUrl) { /** * Write lock owner details onto workspace lock file. Data includes user, host, * display and current java process id. - * - * @param instanceLoc */ protected void writeWsLockInfo(URL workspaceUrl) { Properties props = new Properties(); diff --git a/pom.xml b/pom.xml index 768d1c99e04..f3691ecb8e5 100644 --- a/pom.xml +++ b/pom.xml @@ -29,6 +29,7 @@ ${tests.ignoredWarnings} true true + true