updated dcoumentation about the configuration due to the introduced *java_args* option in the server.conf. (issue #11)