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