Thank you for the report Xavier, I'll prepare the update.

For the reference here is the upstream bug and the patch fixing it:

https://bugs.eclipse.org/448112
http://git.eclipse.org/c/jdt/eclipse.jdt.core.git/commit/?id=05396c2

Reply via email to