if(buffer == null) return jEdit.openFile(null,path); else return buffer;
return buffer;
		public Buffer getBuffer()		{			if(buffer == null)				return jEdit.openFile(null,path);			else				return buffer;		}