I managed to trample a change made in another PR (from Antonio Chirizzi, to give credit where due). This commit restores Antonio's change.
@@ -45,7 +45,7 @@
<dependency>
<groupId>org.webjars</groupId>
<artifactId>jquery</artifactId>
- <version>3.1.0</version>
+ <version>3.1.1-1</version>
</dependency>