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