tree: b73adf795fe1585f95ebd6bcd80a72db7d7fb402 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs