Thanks,
I have now filed the problem as a bug. https://bugs.eclipse.org/bugs/show_bug.cgi?id=96558
-Lars Even