int spaceIndex = command.indexOf(' ');
	public void run(String command)	{		stop();		output.setText("> " + command + "\n");		if(appendEXE)		{			// append .exe to command name on Windows and OS/2			int dotIndex = command.indexOf('.');			int spaceIndex = 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();		}		currentError = -1;		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();	}