public boolean same(int[] fact1, int[] fact2) { return Arrays.equals(fact1, fact2);
public boolean same(LockSet fact1, LockSet fact2) { return fact1.sameAs(fact2);
	public boolean same(int[] fact1, int[] fact2) {		return Arrays.equals(fact1, fact2);	}