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 {
	
	@Override
	public void init(ServletConfig servletConfig) throws ServletException {
		
		for(String name : Collections.list(servletConfig.getInitParameterNames())) {
			System.out.println(name + " -> " + servletConfig.getInitParameter(name));
		}
		
		super.init(servletConfig);
		
	}
}

Result:

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?