Forgo reporting an exception which doesn't seem to do harm
diff --git a/plugins/org.eclipse.objectteams.otdt.ui.help/src/org/eclipse/objectteams/otdt/internal/ui/help/actions/ShowOTJLDAction.java b/plugins/org.eclipse.objectteams.otdt.ui.help/src/org/eclipse/objectteams/otdt/internal/ui/help/actions/ShowOTJLDAction.java
index 9cfdfcc..a0ccf25 100644
--- a/plugins/org.eclipse.objectteams.otdt.ui.help/src/org/eclipse/objectteams/otdt/internal/ui/help/actions/ShowOTJLDAction.java
+++ b/plugins/org.eclipse.objectteams.otdt.ui.help/src/org/eclipse/objectteams/otdt/internal/ui/help/actions/ShowOTJLDAction.java
@@ -134,20 +134,20 @@
if (marker == null) return; // either no type matched, or MarkerCategory.getMarker() returned null.
- try
- {
+ try {
if (!IJavaModelMarker.JAVA_MODEL_PROBLEM_MARKER.equals(marker.getType()))
return;
+ }
+ catch (CoreException ex) {
+ // No longer reporting, frequently happens during workspace build, but doesn't seem to do any harm
+ // OTHelpPlugin.logException("Cannot retrieve marker from selection", ex); //$NON-NLS-1$
+ return;
+ }
- String text = marker.getAttribute(IMarker.MESSAGE, null);
- if (text == null)
- return;
- OTJLDError error = new OTJLDError(text);
- m_urls = error.getURLs();
- }
- catch (CoreException ex)
- {
- OTHelpPlugin.logException("Cannot retrieve marker from selection", ex); //$NON-NLS-1$
- }
+ String text = marker.getAttribute(IMarker.MESSAGE, null);
+ if (text == null)
+ return;
+ OTJLDError error = new OTJLDError(text);
+ m_urls = error.getURLs();
}
}
diff --git a/releng/map/otdt.map.in b/releng/map/otdt.map.in
index ba10e5d..6ac5724 100644
--- a/releng/map/otdt.map.in
+++ b/releng/map/otdt.map.in
@@ -34,7 +34,7 @@
!** OT/J Plugins **!
plugin@org.eclipse.objectteams.otequinox.branding=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otequinox.branding,tag=builds/201406101339
plugin@org.eclipse.objectteams.otdt.jdt.ui=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt.jdt.ui,tag=builds/201406101339
-plugin@org.eclipse.objectteams.otdt.ui.help=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt.ui.help,tag=builds/201406101339
+plugin@org.eclipse.objectteams.otdt.ui.help=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt.ui.help
plugin@org.eclipse.objectteams.otdt.apt=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt.apt,tag=builds/201406101339
plugin@org.eclipse.objectteams.otdt.compiler.adaptor=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt.compiler.adaptor,tag=builds/201406101339
plugin@org.eclipse.objectteams.otdt.debug.adaptor=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt.debug.adaptor,tag=builds/201406101339