tree: d3f72beda272edc2224b80cf65f57593deb644aa
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs