*/
    public void actionPerformed(ActionEvent e) {        int oldIndex = getSelectedIndex();        // System.out.println("EVENT " +  e);        for ( int i=0; i<getTabCount(); i++ ) {            Page p = getPageAt(i);            if ( p.button==e.getSource() && p.isEnabled() &&                 p.isVisible() ) {                if ( i != oldIndex ) {                    setSelectedIndex(i);                    fireStateChanged();                }                // System.out.println("Select " +  i);                return;            }        }    }