@Override
      public void selectionChanged(TabInfo oldSelection, TabInfo newSelection) {
        fireChanged(new ChangeEvent(tabs));
      }
@Override
      public void selectionChanged(TabInfo oldSelection, TabInfo newSelection)