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