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