We should make it possible for users to override the default JVM launch parameters for the server.
Typically, users should be able to increase the amount of memory of the JVM or launch the server with some java agents (eg. lombok, as requested on https://marketplace.visualstudio.com/items?itemName=redhat.java)