code: private void writeID(String contents, String currentID) throws IOException{
  
  		String localName = getLocalFileName(currentID);
  
  		try ( PrintWriter pw = new PrintWriter(new GZIPOutputStream(new FileOutputStream(localName))) ) {
  
  			pw.print(contents);
  			pw.flush();
  		}
  	}
docs: Output chemical contents to a file
  @param contents File contents
  @param currentID Chemical ID, used to determine the filename
  @throws IOException