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