tree: ede620f02c8448ccab82e02f8a8198538686401d
  1. org.eclipse.jdt.core.prefs