tree: 3bcc5994c62009c034c51b3617b690579b63a6ce
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs