Trailing slash hell

It seems that the presence or absence of the trailing slash in a URL has some very startling and undesirable effects.

  1. If the trailing slash is present, dontpush will fail to start (in Firefox, IE, Chrome). Note: I have found this to only be the case when accessing tomcat or jetty via localhost. It does not seem to occur if tomcat is remote.
    (see discussion)

  2. If the trailing slash is absent, IE and Chrome, but not Firefox, will restart the app when setTheme() is called.
    (see discussion)

So, damned if I do, damned if I don’t. Is there some general workaround? Any chance of this being fixed any time soon? What about being fixed in Vaadin 7?