tree: 143da43c69ce91c4f98383f0e55079bf58c8cd70
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs