tree: 4170cdbb2fc172606ee056c9c464315ef0d5f5db
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs