private static void lockOp(int[] fact, int lockNumber, int delta) { int value = fact[lockNumber];
private static void lockOp(LockSet fact, int lockNumber, int delta) { int value = fact.getLockCount(lockNumber);
	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;	}