code: public void save(File file) throws IOException {
  		DataOutputStream dout = new DataOutputStream(new FileOutputStream(file));
  		dout.writeUTF(name);
  		for (int i=0;i<256;i++) {
  			dout.writeBoolean(chars[i]);
  		}
  		dout.close();
  	}
docs: Save the set to a file
  
  @param file The file to save to
  
  @throws IOException Indicates a failure to write to disk