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