tree: ae8b1616bbe1cd674af23158bdf186dadaa3293e
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs