Log.log(Log.ERROR,jEdit.class,nf);
	public static void propertiesChanged()	{		// Auto save		if(autosave != null)			autosave.interrupt();		autosave = new Autosave();		// Recent files		try		{			maxRecent = Integer.parseInt(getProperty("recent"));		}		catch(NumberFormatException nf)		{			maxRecent = 8;		}		fireEditorEvent(EditorEvent.PROPERTIES_CHANGED,null,null);	}