Styles changing between Vaadin versions?

Hi,
has anybody noticed that reindeer theme has changed between Vaadin versions? We are now running 6.5.7 and I think the previous one was 6.5.2. For example the look of NativeSelect has changed. We haven’t got any own style defined for it so it’s original Vaadin style. Also one table we have has widened a bit.

This worries me a bit since I think we should be able to trust the design to stay the same. Anybody know of any quick way to roll back the theme without rolling back Vaadin?

Ok false alarm. Sort of. The difference is only when running in Tomcat. In Weblogic styles look the same as earlier. Still quite strange.