} catch(BadLocationException bl) { Log.log(Log.ERROR,this,bl);
	private void load()	{		InputStream in = null;		try		{			try			{				String[] args = { MiscUtilities.getFileName(path) };				setStatus(jEdit.getProperty("view.status.load",args));				setAbortable(true);				in = vfs._createInputStream(view,buffer,path,false);				if(in == null)					return;				if(path.endsWith(".gz"))					in = new GZIPInputStream(in);				read(buffer,in);			}			catch(BadLocationException bl)			{				Log.log(Log.ERROR,this,bl);			}			catch(IOException io)			{				Log.log(Log.ERROR,this,io);				Object[] args = { io.toString() };				VFSManager.error(view,"ioerror",args);			}			try			{				String[] args = { MiscUtilities.getFileName(path) };				setStatus(jEdit.getProperty("view.status.load-markers",args));				// just before inserting the text into the				// buffer, read() calls setAbortable(false)				setAbortable(true);				in = vfs._createInputStream(view,buffer,markersPath,true);				if(in != null)					readMarkers(buffer,in);			}			catch(IOException io)			{				// ignore			}		}		catch(WorkThread.Abort a)		{			if(in != null)			{				try				{					in.close();				}				catch(IOException io)				{				}			}		}		try		{			vfs._loadComplete(buffer);		}		catch(IOException io)		{		}		catch(WorkThread.Abort a)		{		}	}