jenkinsci/jenkins — pull request #468 by Vlatombe (2012-05-06 15:33:21+00:00)
Title: Namespace tools installation by tool name.

This prevents naming conflicts if someone names 2 tools installations
of different tools with the same name.