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