tree: e9937d3a7e65dc9d9be883cf0e1bc5d6db069dc4
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs
  3. org.moreunit.prefs