tree 9a16bc573ecfb1560cd83d379ece4a16abd704c2
parent 4100ec57ed76bbbfccf4b3c1a4d240ef444ea584
author Dani Megert <dmegert> 1416324629 +0100
committer Dani Megert <dmegert> 1416324629 +0100

Make sure JDT marker updater runs after the basic marker updater