tree: 57abc38a1f4d5061523a30d107296477b030c83f
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.ui.prefs