Including external JavaScript in 7.1

Need an example of how to include external javascript file in 7.1… I imagine it involves subclassing VaadinServlet and possibly overriding writeStaticResourceResponse ???

Have a look at the Using JavaScript section in
this wiki article
If you just want to execute a bit of javascript you can use Page.getCurrent().getJavaScript().execute(“your javascript code”);

You can also modify the initial startup page to include the script using a BootstrapListener - see
this article
for details.