tree: 054199f8a00374dce382c19031411c6e6e4f2855
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs