tree: 8cb1fc2d55b112e9f3c05a8b6087546357199bd9
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs