If the user sets the management.port, he wants some of the server.* properties, but not the context-path. This change restores the behaviour in 1.2.x. Fixes gh-4401
If the user sets the management.port, he wants some of the server.* properties, but not the context-path. This change restores the behaviour in 1.2.x. Fixes gh-4401