tree: 5efee7b540b0c0d4b867e4c83b35db489bd21ddb
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs