Fix JDT accident https://bugs.eclipse.org/527260#c34
1 file changed