private static void lockOp(LockSet fact, int lockNumber, int delta) {
private  void lockOp(LockSet fact, int lockNumber, int delta) {
	private static void lockOp(LockSet fact, int lockNumber, int delta) {		int value = fact.getLockCount(lockNumber);		if (value < 0) // can't modify TOP or BOTTOM value			return;		value += delta;		if (value < 0)			value = LockSet.BOTTOM;		if (DEBUG) System.out.println("Setting " + lockNumber + " to " + value);		fact.setLockCount(lockNumber, value);	}