You need to change those settings using the web UI, since the web UI’s parameters are flushed to the server.properties file when the server starts.
You can also right click the file in the web file manager and import it
1 Like