public synchronized void release(Pid pid) { mUsed.remove(Integer.valueOf(pid.toInteger())); }
public synchronized void use(Pid pid) { mUsed.add(pid.toInteger()); }