/** * Writes this instance in INI format to a file. * * @param filename the file to write to * @throws IOException at an I/O problem */ public void save(String filename) throws IOException { save(new File(filename)); }
/** * Writes this instance in INI format to an output stream. This method * takes an <code>OutputStream</code> for maximum flexibility, internally * it does of course use a writer for character based output. * * @param stream where to write * @throws IOException at an I/O problem */ public void save(OutputStream stream) throws IOException { save(new OutputStreamWriter(stream)); }
/** * Writes this instance in INI format to a file. * * @param file where to save to * @throws IOException at an I/O problem */ public void save(File file) throws IOException { OutputStream out = new FileOutputStream(file); save(out); out.close(); }