Spring Boot auto-configuration of the spring-struts1 engine: engine beans, front servlet and the classic init-param contract through properties