new String[] { path, e.getMessage() });
new String[] { path, e.toString() });
	public static void runScript(View view, String path)	{		Reader in;		Buffer buffer = jEdit.getBuffer(path);		if(buffer != null)		{			Segment seg = new Segment();			try			{				buffer.getText(0,buffer.getLength(),seg);			}			catch(BadLocationException e)			{				// XXX				throw new InternalError();			}			in = new CharArrayReader(seg.array,seg.offset,seg.count);		}		else		{			try			{				in = new BufferedReader(new FileReader(path));			}			catch(FileNotFoundException e)			{				GUIUtilities.error(view,"beanshell-notfound",					new String[] { path });				return;			}		}		if(view != null)		{			EditPane editPane = view.getEditPane();			interp.setVariable("view",view);			interp.setVariable("editPane",editPane);			interp.setVariable("buffer",editPane.getBuffer());			interp.setVariable("textArea",editPane.getTextArea());		}		try		{			running = true;			NameSpace namespace = new NameSpace("global");			interp.eval(in,namespace,path);		}		catch(Throwable e)		{			if(e instanceof InvocationTargetException)				e = ((InvocationTargetException)e).getTargetException();			Log.log(Log.ERROR,BeanShell.class,e);			GUIUtilities.error(view,"beanshell-error",				new String[] { path, e.getMessage() });		}		finally		{			running = false;		}		if(view != null)		{			interp.setVariable("view",null);			interp.setVariable("editPane",null);			interp.setVariable("buffer",null);			interp.setVariable("textArea",null);		}	}