_ctrlPanel.setMinimumSize(new Dimension(CTRL_WIDTH, HEIGHT));  getContentPane().add(_mainPanel);
JSplitPane _mainSplit = new JSplitPane(JSplitPane.VERTICAL_SPLIT, _mainPanel, _logPane); getContentPane().setLayout(new BorderLayout()); getContentPane().add(_mainSplit, "Center");
  public HabitatPortal(String habitatName, Enumeration services) {        // Data struRctures ///////////////////////////////////////////////////    _portals = new Hashtable();        // GUI stuff /////////////////////////////////////////////////////////    setTitle(habitatName);    setSize(HabitatPortal.WIDTH, HabitatPortal.HEIGHT);    setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);        _mainPanel = new JPanel(new BorderLayout());    _ctrlPanel = new JPanel(new GridLayout(2, 1, 5, 5));    _dataLabel = new JLabel("");    _portalPanel = new JPanel(_cardLayout = new CardLayout());    _logPane = new JScrollPane(_logArea = new JTextArea("some text", 8, 10));    _logArea.setEditable(false);        if (services != null) {      Vector servicesListing = new Vector();      while (services.hasMoreElements()) {        ServiceInterface si = (ServiceInterface) services.nextElement();        String serviceDesc = si.getDescription();        servicesListing.add(serviceDesc);        _portalPanel.add(si.startDisplay(), serviceDesc);                _portals.put(serviceDesc, si);      }      _servicesList = new JList(servicesListing.toArray());    } else _servicesList = new JList(new String[] { "hello", "there" });        _servicesList.addListSelectionListener(new ListSelectionListener() {      public void valueChanged(ListSelectionEvent lse) {        String service = "" + _servicesList.getSelectedValue();        try {          _dataLabel.setText(generateHTML(_portals.get(service)));          _cardLayout.show(_portalPanel, service);        } catch (Exception e) { }      }    });        _mainPanel.add(_ctrlPanel, BorderLayout.WEST);    _mainPanel.add(_portalPanel, BorderLayout.CENTER);    _mainPanel.add(_logPane, BorderLayout.SOUTH);        _ctrlPanel.add(_servicesList);    _ctrlPanel.add(new JScrollPane(_dataLabel));    _ctrlPanel.setMinimumSize(new Dimension(CTRL_WIDTH, HEIGHT));        getContentPane().add(_mainPanel);    show();  }