[FIXED JENKINS-18065] made ALLRM.entrySet() smarter