tree: 0f7c8f3250999ffe3548edd225848eee2dc99071
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.pde.core.prefs