You can also see what command is being launched, and even change it, by double-clicking your server to open the server editor, and then clicking "Open Launch Configuration".
This will allow you to change and customize the launch args. Not all args are changeable though, and some will be overwritten. Specifically things pointing to urls inside the server such as server.base.url etc.