anchor.diff:  [source,java,indent=0,subs="verbatim,quotes,attributes"]
   ----
   	import org.springframework.boot.autoconfigure.SpringBootApplication;
  -	import org.springframework.boot.context.web.SpringBootServletInitializer;
  +	import org.springframework.boot.web.servlet.support.SpringBootServletInitializer;
   	import org.springframework.web.WebApplicationInitializer;
   
   	@SpringBootApplication
  
positive.code: "`<<howto-discover-build-in-options-for-external-properties>>`" about
  `@ConfigurationProperties` (`ServerProperties` is the main one here). However, you should
  also look at
  {dc-spring-boot}/web/servlet/server/ServletWebServerFactoryCustomizer.html[`ServletWebServerFactoryCustomizer`].
  The Jetty APIs are quite rich, so, once you have access to the
  `JettyServletWebServerFactory`, you can modify it in a number of ways. Alternatively, if
  you need more control and customization, you can add your own
  
negative.code: Generally, you can follow the advice from
  "`<<howto-discover-build-in-options-for-external-properties>>`" about
  `@ConfigurationProperties` (`ServerProperties` is the main one here). However, you should
  also look at `WebServerFactoryCustomizer` and various Tomcat-specific
  `+*Customizers+` that you can add. The Tomcat APIs are quite rich. Consequently, once you
  have access to the `TomcatServletWebServerFactory`, you can modify it in a number of ways.
  Alternatively, if you need more control and customization, you can add your own
  