}
break;
case RELEASE:
m = (Message) comm_ports[RELEASE].receive();
int r = (Integer) m.data;
Port reply = (Port) m.reply_port;
reply.send(null); // sends a signal to client releasing the
// resource
if (!waiting_setA.isEmpty()) {
m = waiting_setA.get(0);
msg.reply_port = null;
msg.data = (Integer) r;