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