<a title="Make use of new getters in superclass to override javadoc formatting" href="https://github.com/eclipse-jdtls/eclipse.jdt.ls/pull/3144">PR #3144</a>: Make use of new getters in ...