tree: ab89e17afce372ca3e68556e631696c1ffd5cccb
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs