@Override
    public String getText()
    {
        if (isLeaf())
        {
            return text;
        }
        else
        {
            String ret = "";
            for (int i = 0; i < getChildCount(); i++)
            {
                if (ret.trim().length() > 0)
                    ret += " ";
                ret = ret + getChildBox(i).getText().trim();
            }
            return ret;
        }
    }