See https://github.com/eclipse-jdt/eclipse.jdt.core/pull/1716
See https://github.com/eclipse-jdt/eclipse.jdt.core/commit/4989c7f29aa5646f192dde2a6bff0fe731f211e2