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