tree: 4030a96c837302ed18f88751b514fa83ef270dc4
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs