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