code: public void saveTo(File file) throws IOException {
  		FileWriter writer = new FileWriter(file);
  		try {
  			writer.write(getAbcString());
  		} finally {
  			writer.close();
  		}
  	}
docs: Saves the ABC source String to file.
  
  @param file
  @throws IOException