Make sure JDT marker updater runs after the basic marker updater
diff --git a/org.eclipse.jdt.debug.ui/plugin.xml b/org.eclipse.jdt.debug.ui/plugin.xml
index b6c176e..8e0b12a 100644
--- a/org.eclipse.jdt.debug.ui/plugin.xml
+++ b/org.eclipse.jdt.debug.ui/plugin.xml
@@ -3565,6 +3565,7 @@
class="org.eclipse.jdt.internal.debug.ui.BreakpointMarkerUpdater"
id="org.eclipse.jdt.debug.ui.bpMarkerUpdater"
markerType="org.eclipse.jdt.debug.javaBreakpointMarker">
+ <required-updater id="org.eclipse.ui.texteditor.BasicMarkerUpdater"/>
</updater>
</extension>
<extension