[JENKINS-50504] WorkspaceList.inUse should be keyed by String not FilePath so leases survive agent reconnections