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