tree: 02e11f9b4449f555701744de85e79fd3eacb2df0
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs