Table - Problem with column headers and column synchronisation

Vaadin 6 / 7 / 8 Framework UI
1

Hello,
I’ve got some trouble with the table component.


1st problem:

the column headers aren’t displayed although
getColumnHeader()
 returns them correctly. but when i reorder the columns they DO appear in the drag-and-drop column-placeholder.


2nd problem:

the columns do not properly synchronize with the header row, so the body colums are always wider than the according header-column. perhaps this is a consquence of the column-headers not being drawn?!
for info: the table’s added as a tab to a tabsheet and the tabsheet should use the available width and height of the browser’s window.

Here is a picture to show what i mean

2

I am not able to reproduce this.

Which Vaadin version and browser does this occur with?
If you have your own widgetset, is it compiled against the latest code you are using?
If you have extracted a copy of a widgetset to be served statically, is it up to date?
Are there any exceptions either on the console/server logs or caught?

A little program demonstrating the problem would be useful if you are able to provide one.