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