Hi Hauke. Actually, this is happening. See https://bugs.eclipse.org/bugs/show_bug.cgi?id=405031 (especially https://bugs.eclipse.org/bugs/show_bug.cgi?id=405031#c59).

Cheers.