tree: 5981bbc448c93dff1814666d9f794445c0014979
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.pde.api.tools.prefs