public void copy(BitSet source, BitSet dest) {
public void copy(UnconditionalDerefSet source, UnconditionalDerefSet dest) {
	public void copy(BitSet source, BitSet dest) {		dest.clear();		dest.or(source);	}