tree: 8e133153e399d2519a7fedf141ed5f6b6df63051
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs