tree: 92ec5d9bd59c99ed9cfc4866335c0cefc53960ca
  1. .api_filters
  2. org.eclipse.jdt.core.prefs
  3. org.eclipse.pde.api.tools.prefs