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