tree: 80fd63c6c07f541dac1e8af902af2a0c06335724
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs