The update to Vaadin 7 beta 2 (#11) led to a regression. Using the shutdown button of the development header still stops the server but does not close the browser tab anymore.
This leads to an exception after some time since Vaadin tries to contact the server for some reason.
Created #9805 in the Vaadin trac