out.write("\r\n");
out.write(lineSep);
	public static void saveSession(View view, String session)	{		view.saveCaretInfo();		String filename = createSessionFileName(session);		Log.log(Log.DEBUG,Sessions.class,"Saving session " + filename);		Buffer buffer = jEdit.getFirstBuffer();		try		{			BufferedWriter out = new BufferedWriter(new FileWriter(filename));			while(buffer != null)			{				writeSessionCommand(view,buffer,out);				out.write("\r\n");				buffer = buffer.getNext();			}			out.close();		}		catch(IOException io)		{			Log.log(Log.ERROR,Sessions.class,io);			String[] args = { io.getMessage() };			GUIUtilities.error(null,"ioerror",args);		}	}