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