agentsBox.addActionListener(this);
    protected void setAgents(Vector agents) {        agentsBox.removeAllItems();        currAgent = null;        if (agents != null) {            for (int i = 0; i < agents.size(); i++) {                String agentName = (String) agents.elementAt(i);                agentsBox.addItem(agentName);            }            if (agents.size() > 1) {                currAgent = (String) agentsBox.getItemAt(0);            }        }    }