tree: 8ce0500fbde761ca1e9ff04792a118a7da126dab
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs