tree: 7b84106f5352ce71bb01ce10d0239bb92197fd6d [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.edt.ide.core.prefs