tree: 01a3ecc83b6e397b372d1a82705ca26dd3eb5b5f
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs