out.write("]\r\n");
out.write(']'); out.write(lineSep);
	public static void saveHistory(String path)	{		try		{			BufferedWriter out = new BufferedWriter(				new FileWriter(path));			if(models == null)			{				out.close();				return;			}			Enumeration modelEnum = models.elements();			while(modelEnum.hasMoreElements())			{				HistoryModel model = (HistoryModel)modelEnum					.nextElement();				out.write('[');				out.write(model.getName());				out.write("]\r\n");				for(int i = 0; i < model.getSize(); i++)				{					out.write(MiscUtilities.charsToEscapes(						model.getItem(i)));					out.write("\r\n");				}			}			out.close();		}		catch(IOException io)		{			Log.log(Log.ERROR,HistoryModel.class,io);		}	}