public void unlock(final long recid) {
if (CC.LOG_LOCKS)
Utils.LOG.finest("UNLOCK R:" + recid + " T:" + Thread.currentThread().getId());
final Thread t = locks.remove(recid);
if (t != Thread.currentThread()) throw new InternalError("unlocked wrong thread");
}
