I don’t think you can change more than those outlined in the document. The ones the Java SDK has setup are the defaults which can be changed to bootstrap the app initially - it will pick up all the other ports from the server config subsequently.
The reason the documentation is so sparse on the matter is that using static_config as an interface for changing default ports is very brittle and mistakes can cause severe instability with your node (if it even starts up at all).
There is an improvement currently open to track adding a safer and more complete interface to change the running ports.