tree: 854fd6738ae1cd73d4bec00ef4ab59b12682f4b1
  1. .api_filters
  2. org.eclipse.jdt.core.prefs
  3. org.eclipse.pde.api.tools.prefs