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