JTable header can be made shorter than JTable itself

This bug is opened because of the
CR 4473075: JTable header rendering problem (after setting preferred size)

Please see the test case from that bug
as you can see setPreferredSize() allows you to have a table header
shorter than a table itself

you set the size for a header, then scroll the table
and after that the header doesn't cover all area above the table

After CR 4473075 is fixed you won't see the garbage on the screen any more
but question is

"Should we allow table header to be shorter then its table ?"
If it is a bug we need to lay it out in respect to the current JTable's width

JDK 7