A Jenkins-specific name by which this tool installation can be identified.