tree: 6d27a8ab9b5f9757f3677733c3d9a878c614402c
  1. .api_filters
  2. org.eclipse.jdt.core.prefs
  3. org.eclipse.jdt.launching.prefs