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