private void processCommand(String command)
	{
		if (listener!=null)
		{
			command = command.trim();
			if (command.length()>0) history.add(command);
	  		if (history.size()>MAX_HISTORY) history.remove(0);
	  		
	  		historyIndex = history.size();
	  		listener.commandReceived(command);
	  		
	  		lastCommandOffset = textArea.getText().length();
		}
	}