tree: dbe14cc0d6a4c27a7815f0c776154a3425f74235
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs