Vaadin 7.7 - production mode is not working with Spring Boot

Hi, I am running Vaadin 7.7 in a Spring Boot application.
At startup, the application reports that it is running in debug mode, and that I should set productionMode=true to the web.xml.
There is no web.xml in Spring boot, but there is a property file.

I tried adding in the property file (values found through searching):
productionMode=true
vaadin.productionMode=true
vaadin.servlet.productionMode=true

All without success. How can I properly set production mode?

Normally the vaadin.productionMode setting should be in "application.properties" when using Spring Boot. In non-Spring Boot applications it is set in web.xml or @VaadinServletConfiguration(productionMode = true, ui = MyVaadinUI.class) annotation. The annotation cannot be used with Spring Boot either.