tree: 557c353e171b0c2a10ef039026c6d38935177e49
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs