Layouting differences 7.5.0 and 7.5.1

Not sure, what happened because we didn’t check changes but after a simple lib update from 7.5.0 to 7.5.1 all our Layouts are “broken”.

A simple test with our BorderLayout is attached.

We saw that the height and width of components weren’t set to DOM in 7.5.1?
(see green rectangles in attached screenshots)

Our layout code didn’t change so it must be a change of vaadin. Do you have any hints or an update procedure for 7.5.0 to 7.5.1?
20824.png
20825.png

I haven’t tested 7.5.1 yet but there is another thread about “weird” layout changes when upgrading:

https://vaadin.com/forum#!/thread/10519911

I read this post, but my case is different (I guess). I don’t understand why my custom height/width wasn’t set. Vaadin shouldn’t replace my values with undefined?

see
https://dev.vaadin.com/ticket/18486