Preferences page or preferences branch returned by config.getPreferencesPages.
config.getPreferencesPages
Preferences page or preferences branch returned by
config.getPreferencesPages.