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