Closes gh-13742

Closes gh-13885

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

Merge pull request #13904 from ayudovin:make-springbootconfigurationfinder-public-and-usable-with-annotation

* pr/13904:
  Polish contribution
  Make SpringBootConfigurationFinder public and usable with other annotations

Closes gh-13904

See gh-13904

* pr/13908:
  Fix unchecked assignment in AutoConfigurationImportSelector

Closes gh-13908

See gh-13917

Closes gh-13740

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

Move the `eclipse.properties` file from `.eclipse` into `eclipse`
since the IDE plugin supports both.

Closes gh-13912