{ String grammar = (String)getProperty("grammar"); if(grammar != null) jEdit.loadMode(grammar); }
jEdit.loadMode((String)getProperty("grammar"));
	public void loadIfNecessary()	{		if(marker == null)		{			String grammar = (String)getProperty("grammar");			if(grammar != null)				jEdit.loadMode(grammar);		}	}