if (header.getResizingAllowed()) { TableColumn resizingColumn = header.getResizingColumn(); if (resizingColumn != null) { resizingColumn.setPreferredWidth(resizingColumn.getWidth()); return; }
    public void mousePressed(MouseEvent e)    {      // TODO: Implement this properly.    }