Bug in TabSet

[tdk]

I have a problem with TabSet when I try to locate a certain tab.
The following code does not work:

        Tab t = desktop.getTab(item.objectID());
        if (t == null) {
            t = addWindow(new Reporter(item.objectID(), item.data(0)), item.data(0), item.documentID(0), true);
            t.setID(item.objectID());
        } else desktop.selectTab(t);

whereas this does work:

        Tab t = null;
        for (Tab tab : desktop.getTabs()) {
            if (tab.getID().equals(item.objectID())) {
                t = tab;
                break;
            }
        }
        if (t == null) {
            t = addWindow(new Reporter(item.objectID(), item.data(0)), item.data(0), item.documentID(0), true);
            t.setID(item.objectID());
        } else desktop.selectTab(t);

Is this a known issue?

I'm using GWT 2.0.4 and SmartGWT 2.3