header.setCursor(Cursor.getDefaultCursor());
header.setCursor(originalCursor);
    void endResizing()    {      TableColumnModel model = header.getColumnModel();      int n = model.getColumnCount();      if (n > 2)        {          TableColumn c;          for (int i = 0; i < n; i++)            {              c = model.getColumn(i);              c.setPreferredWidth(c.getWidth());            }        }      header.setResizingColumn(null);      showingResizeCursor = false;      if (timer != null)        timer.stop();      header.setCursor(Cursor.getDefaultCursor());    }