tree: 3d5e26a34cd197f6c03df4d779cbd94ba6c1aeb1
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs