tree: 7a6b595cbab2a33e61bfee4a5c61f10c7280ace1
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs