if(buffer == null) return null;
	private static Buffer readSessionCommand(String line)	{		String path = null;		Integer selStart = null;		Integer selEnd = null;		Integer firstLine = null;		Integer horizontalOffset = null;		boolean current = false;		StringTokenizer st = new StringTokenizer(line,"\t");		while(st.hasMoreTokens())		{			String token = st.nextToken();			if(token.startsWith("path:"))				path = token.substring(5);			else if(token.startsWith("selStart:"))				selStart = new Integer(token.substring(9));			else if(token.startsWith("selEnd:"))				selEnd = new Integer(token.substring(7));			else if(token.startsWith("firstLine:"))				firstLine = new Integer(token.substring(10));			else if(token.startsWith("horizontalOffset:"))				horizontalOffset = new Integer(token.substring(17));			else if(token.equals("current"))				current = true;		}		if(path == null)			return null;		Buffer buffer = jEdit.openFile(null,path);		if(selStart != null && selEnd != null			&& firstLine != null && horizontalOffset != null)		{			buffer.putProperty(Buffer.SELECTION_START,selStart);			buffer.putProperty(Buffer.SELECTION_END,selEnd);			buffer.putProperty(Buffer.SCROLL_VERT,firstLine);			buffer.putProperty(Buffer.SCROLL_HORIZ,horizontalOffset);		}		return (current ? buffer : null);	}