tree: 182b8c44149c07ddf43551b2dd3b09a6f25f4e00
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs