if (e.getButton() == 0 && header.getResizingAllowed()) { TableColumnModel model = header.getColumnModel(); int n = model.getColumnCount(); if (n < 2)   return;  boolean onBoundary = false;  int x = e.getX(); int a = x - COLUMN_BOUNDARY_TOLERANCE; int b = x + COLUMN_BOUNDARY_TOLERANCE;  int p = 0;  Scan: for (int i = 0; i < n - 1; i++) { p += model.getColumn(i).getWidth();  if (p >= a && p <= b) { TableColumn column = model.getColumn(i); onBoundary = true;  draggingFrom = x; prevPrefWidth = column.getWidth(); header.setResizingColumn(column); break Scan; }
    public void mouseMoved(MouseEvent e)    {      // TODO: Implement this properly.    }