tree: 2640f568eb9b6dcd5ca6477914980b5220e7891a
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs