read(buffer,in,length,true);
read(buffer,in,length);
	private void insert()	{		InputStream in = null;		try		{			try			{				String[] args = { MiscUtilities.getFileName(path) };				setStatus(jEdit.getProperty("vfs.status.load",args));				setAbortable(true);				VFS.DirectoryEntry entry = vfs._getDirectoryEntry(					session,path,view);				long length;				if(entry != null)					length = entry.length;				else					length = 0L;				in = vfs._createInputStream(session,path,false,view);				if(in == null)					return;				if(path.endsWith(".gz"))					in = new GZIPInputStream(in);				read(buffer,in,length,true);			}			catch(IOException io)			{				Log.log(Log.ERROR,this,io);				Object[] args = { io.toString() };				VFSManager.error(view,"ioerror",args);			}		}		catch(WorkThread.Abort a)		{			if(in != null)			{				try				{					in.close();				}				catch(IOException io)				{				}			}		}		finally		{			try			{				vfs._endVFSSession(session,view);			}			catch(IOException io)			{				Log.log(Log.ERROR,this,io);				String[] args = { io.getMessage() };				VFSManager.error(view,"ioerror",args);			}			catch(WorkThread.Abort a)			{			}		}	}