if (onBoundary != showingResizeCursor) {  if (onBoundary) {  if (p < x) header.setCursor(Cursor.getPredefinedCursor (Cursor.W_RESIZE_CURSOR)); else header.setCursor(Cursor.getPredefinedCursor (Cursor.E_RESIZE_CURSOR)); } else { header.setCursor(Cursor.getDefaultCursor()); header.setResizingColumn(null); }  showingResizeCursor = onBoundary; } } }
    public void mouseMoved(MouseEvent e)    {      // TODO: Implement this properly.    }