tree: 3ed4785987524d9a677b711b74373b5d06d6dfe7
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs