if(start != null && end != null)
Integer firstLine = (Integer)buffer.getProperty(Buffer.SCROLL_VERT); Integer horizontalOffset = (Integer)buffer.getProperty( Buffer.SCROLL_HORIZ);  if(start != null && end != null && firstLine != null && horizontalOffset != null)
	private static void writeSessionCommand(View view, Buffer buffer,		Writer out) throws IOException	{		out.write("path:");		out.write(buffer.getPath());		Integer start = (Integer)buffer.getProperty(Buffer.SELECTION_START);		Integer end = (Integer)buffer.getProperty(Buffer.SELECTION_END);				if(start != null && end != null)		{			out.write("\tselStart:");			out.write(start.toString());			out.write("\tselEnd:");			out.write(end.toString());		}		if(view.getBuffer() == buffer)			out.write("\tcurrent");	}