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