tree: 281b0b03a183d75adfa3c57c516292f19870dbdd
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs