Vaadin servlet params in application.properties

For the Vaadin 8 framework, are properties such as the following in the application.properties file still relevant?

vaadin.servlet.asyncSupported=true
vaadin.servlet.params.productionMode=true
vaadin.servlet.params.heartbeatInterval=300
vaadin.servlet.params.closeIdleSessions=true

Upon deploying an application, I noticed the standard debug mode warning, which is making me suspicious.

=================================================================
Vaadin is running in DEBUG MODE.
Add productionMode=true to web.xml to disable debug features.
To show debug window, add ?debug to your application URL.
=================================================================

Thanks.

This is what I was looking for:

[https://vaadin.com/docs/v8/framework/articles/VaadinSpringTips.html]
(https://vaadin.com/docs/v8/framework/articles/VaadinSpringTips.html)