tree: 60032235f4c70e85c1b53bc23dfbd74f31cf1eec
  1. .api_filters
  2. org.eclipse.jdt.core.prefs
  3. org.eclipse.pde.api.tools.prefs