https://help.eclipse.org/latest/topic/org.eclipse.jdt.doc.isv/reference/api/org/eclipse/jdt/ui/PreferenceConstants.html
PreferenceConstants (Eclipse JDT API Specification)
declaration: package: org.eclipse.jdt.ui, class: PreferenceConstants
eclipsejdtapispecification