Go to Servers View, Double click the server, in the opening server editor click "Open launch configuration" and you can do the same edits.
We do some of the above by default, but you can adjust it as you please.
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community