tree: 05ec82424f66036620fe0f22602be1a02131476f
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs