Make sure JDT marker updater runs after the basic marker updater