autosaveFile.delete();
	public void autosave()	{		if(adirty)		{			try			{				File autosaveTmp = new File(autosaveFile					.getPath().concat("+tmp+#"));				save(new FileOutputStream(autosaveTmp));				autosaveTmp.renameTo(autosaveFile);				/* XXX race alert if dirty() runs here */				adirty = false;			}			catch(FileNotFoundException fnf)			{				/* this could happen if eg, the directory				 * containing this file was renamed.				 * we ignore the error then so the user				 * isn't flooded with exceptions. */			}			catch(Exception e)			{				System.err.println("Error during autosave:");				e.printStackTrace();			}		}	}