Rectangle (int column) { // if a header has zero height, mouse pointer can never be inside it, so we pretend it is one pixel high Rectangle headerRect = super.getHeaderRect(column); return new Rectangle(headerRect.x, headerRect.y, headerRect.width, 1); }