tree: 0b4b37246980392202b7422850d77dc7f9ab1e54
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs