tree: 2e410117bd31fdafd9f7ca598244aeab9e383cc4
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs