System.err.println("Error during autosave:"); e.printStackTrace();
Log.log(Log.ERROR,this,e);
	public void autosave()	{		if(getFlag(AUTOSAVE_DIRTY))		{			try			{				File autosaveTmp = new File(autosaveFile					.getPath().concat("+tmp+#"));				save(new FileOutputStream(autosaveTmp));				/* workaround for JDK 1.2 bug */				autosaveFile.delete();				autosaveTmp.renameTo(autosaveFile);				/* XXX race alert if setDirty() runs here */				setFlag(AUTOSAVE_DIRTY,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();			}		}	}