tree: 2bc50bd19ef2d00495152b9e29057d65d741f76c
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs