history.insertElementAt(text,0);  for(int i = 0; i < history.getSize(); i++)
insertItemAt(text,0); for(int i = 0; i < getItemCount(); i++)
	public void save()	{		String text = (String)getSelectedItem();		if(text != null && text.length() != 0)			history.insertElementAt(text,0);		for(int i = 0; i < history.getSize(); i++)		{			jEdit.setProperty("history." + name + "." + i,				(String)history.getElementAt(i));		}	}