code: public CharSet copy() {
  		CharSet copy = new CharSet();
  		copy.name = name;
  		copy.source = source;
  		copy.mutable = true;
  		copy.chars = new boolean[256];
  		
  		System.arraycopy(chars, 0, copy.chars, 0, chars.length);
  	
  		return copy;
  	}
docs: Copy this character set
  
  @return A copy of this character set