This is the first part of the bugfix that provides API required for JDT
UI changes.

See https://github.com/eclipse-jdt/eclipse.jdt.ui/pull/2155 for the
second part of the change on UI side.

See https://github.com/eclipse-jdt/eclipse.jdt.core/issues/3918