public void releaseMachine(Object objMachineid) {
GraderAgent gm = null;
if (objMachineid instanceof GraderAgent) {
gm = (GraderAgent) objMachineid;
gm.assureNoCurrentJob();
} else {
Syslog.log("!AgentManager: releaseMachine: obj not instanceof Agent");
return;
}