productionMode=true with Jetty embedded using Vaadin 14.0.1 not working

Hi all,

somehow I can’t get Vaadin 14.0.1 to start in production mode with Jetty embedded. I have set “servletHolder.setInitParameter(“productionMode”, “true”);”. This is obviously working because on Servlet init the configuration parameters exist:

public class MyServlet extends VaadinServlet {
	public void init(ServletConfig servletConfig) throws ServletException {
		for(String name : Collections.list(servletConfig.getInitParameterNames())) {
			System.out.println(name + " -> " + servletConfig.getInitParameter(name));


productionMode -> true
compatibilityMode -> false
11:22:40.170 WARN  c.v.f.s.DefaultDeploymentConfiguration - 
Vaadin is running in DEBUG MODE.
Add productionMode=true to web.xml to disable debug features.

What else should I do?