Done. https://bugs.eclipse.org/bugs/show_bug.cgi?id=97139
Fixed in HEAD. You can take HEAD and patch your JDT/Core plugin. -- Olivier