else if(token.equals("new")) newFile = true;
	private static Buffer readSessionCommand(String line)	{		String path = null;		boolean newFile = false;		int selStart = 0;		int selEnd = 0;		boolean rectSel = false;		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.equals("new"))				newFile = true;			else if(token.startsWith("selStart:"))				selStart = Integer.parseInt(token.substring(9));			else if(token.startsWith("selEnd:"))				selEnd = Integer.parseInt(token.substring(7));			else if(token.equals("rectSel"))				rectSel = true;			else if(token.equals("current"))				current = true;		}		if(path == null)			return null;		Buffer buffer = jEdit.openFile(null,null,path,false,newFile);		buffer.setCaretInfo(selStart,selEnd,rectSel);		return (current ? buffer : null);	}