Closes gh-13470

Closes gh-13888

Closes gh-13886

Fix checkstyle issues with samples following the
spring-javaformat upgrade.

See gh-13932

Fix checkstyle issues with method ordering following the
spring-javaformat upgrade.

See gh-13932

Fix checkstyle issues in javadoc following the spring-javaformat
upgrade.

See gh-13932

Fix checkstyle issues with ternary expressions following the
spring-javaformat upgrade.

See gh-13932

Closes gh-13932

Fixes gh-13921

Closes gh-13887

Closes gh-13917

Closes gh-13906

Closes gh-13890

* pr/13923:
  Polish NoSuchBeanDefinitionFailureAnalyzer

Closes gh-13923

Closes gh-13742

Closes gh-3884

Closes gh-13883

Closes gh-13704

* pr/13919:
  Fix typo

Closes gh-13919

Closes gh-13898

Closes gh-13912

Closes gh-7483

See gh-13917

Add an `DispatcherServletPath` interface which provides a much more
consistent way to discover the path of the main dispatcher servet.

Prior to this commit, auto-configurations would often make use of the
`ServerProperties` class to discover the dispatcher servlet path. This
mechanism isn't very explicit and also makes it hard for us to relocate
that property in Spring Boot 2.1.

This commit also reverts most of fddc9e9c since it is now clear that
the supporting multiple dispatcher servlet paths will be much more
involved that we originally anticipated.

Closes gh-13834

Update the root build POM so that the default profile is always active.
Prior to this commit the profile was to `activeByDefault` which meant
it was only active if no other profiles were enabled. When running in
Eclipse, the `m2e` profile is active, meaning the default profile was
disabled and `spring-javaformat` setting were not applied.

Closes gh-13900