System.err.println("Error loading history file:"); io.printStackTrace();
Log.log(Log.ERROR,HistoryModel.class,io);
	public static void loadHistory(String path)	{		if(models == null)			models = new Hashtable();		try		{			BufferedReader in = new BufferedReader(new FileReader(path));				HistoryModel currentModel = null;			String line;				while((line = in.readLine()) != null)			{				if(line.startsWith("[") && line.endsWith("]"))				{					if(currentModel != null)					{						models.put(currentModel.getName(),							currentModel);					}					currentModel = new HistoryModel(line						.substring(1,line.length() - 1));				}				else if(currentModel == null)				{					throw new IOException("History data starts"						+ " before model name");				}				else				{					currentModel.addItemToEnd(						escapesToChars(line));				}			}				if(currentModel != null)			{				models.put(currentModel.getName(),currentModel);			}			in.close();		}		catch(FileNotFoundException fnf)		{		}		catch(IOException io)		{			System.err.println("Error loading history file:");			io.printStackTrace();		}	}