Support for PropertiesLauncher

Spring Boot has a third kind of launcher, the PropertiesLauncher.
Previously, we did not add a --server.port flag when starting this
kind of launcher.  This change ensures that we do.

[#58809612]
Merge 58809612-properties-launcher to master

[Completes #58809612]