tree: 5eeefb40875413f2dfae9f96bd8b1401b6ab8dec
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs