docs: public void save(String saveModelFile) throws IOException {
  		System.out.println("save ...");
  		ObjectOutputStream out = new ObjectOutputStream(
  				new BufferedOutputStream(new GZIPOutputStream(
  						new FileOutputStream(saveModelFile))));
  		out.writeObject(new Integer(n));
  		out.close();
  		System.out.println("OK");
  	}