tree: 6a7dd25766482c2ee6d7502cfcb0ff023142953d
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs