tree: 62fe2aa74d6a9fab129c94f03d5dbe45e2c06027
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs