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