tree: 1098de587ba768776674904198985be039345158
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs