public void copy(int[] source, int[] dest) { System.arraycopy(source, 0, dest, 0, source.length);
public void copy(LockSet source, LockSet dest) { dest.copyFrom(source);
	public void copy(int[] source, int[] dest) {		System.arraycopy(source, 0, dest, 0, source.length);	}