abbrevsChanged = true;
	public static void addModeAbbrev(String mode, String abbrev, String expansion)	{		Hashtable modeAbbrevs = (Hashtable)modes.get(mode);		if(modeAbbrevs == null)		{			modeAbbrevs = new Hashtable();			modes.put(mode,modeAbbrevs);		}		modeAbbrevs.put(abbrev,expansion);	}