Description
Currently, the StartServerCommand puts the server name arbitrarily on the command used to launch the server process. We should instead set the name as a -D property to make it consistent with other properties and avoid the logic necessary to decern the name from other parts of the command string. This may also be applicable to other commands like StartLocatorCommand.
Along with changing the command, we need to change ServerLauncher to expect the name to come in this new form.