Log.log(Log.MESSAGE,Abbrevs.class,"Saving " + path);
	static void save()	{		jEdit.setProperty("view.expandOnInput",expandOnInput			? "yes" : "no");		String settings = jEdit.getSettingsDirectory();		if(settings != null)		{			String path = MiscUtilities.constructPath(settings,"abbrevs");			try			{				Log.log(Log.MESSAGE,Abbrevs.class,"Saving " + path);				saveAbbrevs(new FileWriter(path));			}			catch(Exception e)			{				Log.log(Log.ERROR,Abbrevs.class,"Error while saving " + path);				Log.log(Log.ERROR,Abbrevs.class,e);			}		}	}