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