tree: 69df00e1c919342c215908b32e2b887cdba8aa46
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs