See https://github.com/eclipse-jdt/eclipse.jdt.core/issues/2857
See https://github.com/eclipse-platform/eclipse.platform.releng.aggregator/issues/3817