private void write_file(final File file, final String content) throws IOException
 {
	if (file.exists()) file.delete();
	BufferedWriter w = null;
	try
	{
	 w = new BufferedWriter(new FileWriter(file));
	 w.write(content);
	}
	finally
	{
	 try
	 {
		if (w != null) w.flush();
	 }
	 finally
	 {
		if (w != null) w.close();
	 }
	}
 }