Vaadin Changes I Want To See

• Shorten "?restartApplication" URL trick to "?restart"

'restartApplication' is a lot of typing.

• Clear the "?restartApplication" from the URL automatically.

As warned in the Nicolas Fränkel book, after using that URL trick to restart your app you should immediately clear the trick. Otherwise, the app will continually be restarting on every refresh, rendering unrealistic behavior.

• The "getTheme" method on "Application" class should return the default theme rather than null.