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