if(command.startsWith("file:")) { String path = command.substring(5); jEdit.openFile(view,null,path,false,false); return; }
	public void run(String command)	{		stop();		output.setText("> " + command + "\n");		// First check if it's a file:// URL		if(command.startsWith("file:"))		{			String path = command.substring(5);			jEdit.openFile(view,null,path,false,false);			return;		}		// Then check for a general URL		int colonIndex = command.indexOf(':');		int spaceIndex = command.indexOf(' ');		if(colonIndex > 1 /* fails for C:\... */			&& colonIndex < spaceIndex)		{			jEdit.openFile(view,null,command,false,false);			return;		}		// It must be a command		if(appendEXE)		{			// append .exe to command name on Windows and OS/2			int dotIndex = command.indexOf('.');			if(dotIndex == -1 || dotIndex > spaceIndex)			{				command = command.substring(0,spaceIndex)					+ ".exe" + command.substring(spaceIndex);			}		}				if(errors != null)		{			for(int i = 0; i < errors.size(); i++)			{				CompilerError error =					(CompilerError)errors.elementAt(i);				jEdit.removeEditorListener(error);			}			errors.removeAllElements();		}		try		{			process = Runtime.getRuntime().exec(command);			process.getOutputStream().close();		}		catch(IOException io)		{			String[] args = { io.getMessage() };			output.append(jEdit.getProperty("console.ioerror",args));			output.append("\n");			return;		}		stdout = new StdoutThread();		stderr = new StderrThread();	}