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