tree: 42206d66607adfe90c0e46439906c6f008c6b5d9
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs