* pr/10256:
  Use underline instead of dash in tomcat properties

Closes gh-10256

Closes gh-9289

Closes gh-10124

This commit removes auto-configuration for Spring Session's simple in
memory support.

Closes gh-10253

Closes gh-10248

This commit makes sure that customizations on the
SessionRepositoryFilter are also applied when the user provides its
own SessionRepository.

Closes gh-10254

Previously, if a health's details contained a key named status (either
because an indicator bean was named statusHealthIndicator or an
indicator added an entry named status to its details) this would
clash with the health's own status as the details were serialized as
siblings of the status field.

This commit updates Health to remove @JsonAnyGetter from getDetails().
This means that all of a Health's details will now be nested within
a separate details field, thereby preventing a possible clash with
the status field.

Closes gh-10249

Closes gh-10121

Closes gh-10123

See gh-10124

Closes gh-10165

Closes gh-10200

Previously, if a user's configuration class provided a custom
Validator bean, that configuration class would be initialized very
early so that the Validator could be used to create the
auto-configured MethodValidationPostProcessor. This early
initialization could problems as it may prevent any of the
configuration class's dependencies from being post-processed.

This commit updates the injection of the Validator bean to be lazy,
thereby preventing the creation of the auto-configured
MethodValidationPostProcessor from triggering early initialization.

Closes gh-9416

Closes gh-10246

Closes gh-10244

Closes gh-10243

Closes gh-9956

This commit makes sure that the defaultValue has to be provided in
assertions. If not present, no defaultValue should be generated.

See gh-9366

Closes gh-9366

Closes gh-10231

This commit removes the restriction that was added in 4a61e456 to
prevent / from being used as the management context path when the
management context was not using a different port

The management context path can now be set to / irrespective of the
configuration of the management port. To avoid a possible clash
with the application's welcome page or similar, the links "endpoint"
that is mapping to the management context path is disabled when
the management context path is /.

As part of allowing / to be used as the management context path again,
the handling of endpoint mappings and the creation of paths for
individual operations has been consolidated into a new EndpointMapping
class that is used across the three (MVC, WebFlux, and Jersey)
implementations.

See gh-9898

* pr/10229:
  Fix broken links

Closes gh-10229

* pr/10228:
  Remove EndpointServletWebAutoConfigurationTests

Closes gh-10228

* pr/10225:
  Upgrade to HikariCP 2.7.1

Closes gh-10225