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