{ jEdit.openFile(null,null,path,false,false);  if(buffer == null) { System.err.println("BUG: no openNotify() received"); System.err.println("Report this to Slava Pestov <sp@gjt.org>"); } }
buffer = jEdit.openFile(null,null,path,false,false);
	public Buffer openFile()	{		// Try opening the file		if(buffer == null)		{			jEdit.openFile(null,null,path,false,false);			// We should've gotten an openNotify			if(buffer == null)			{				System.err.println("BUG: no openNotify() received");				System.err.println("Report this to Slava Pestov <sp@gjt.org>");			}		}		return buffer;	}