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