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