webserver: diff src/server/plugins/java/jvm.c

diff: src/server/plugins/java/jvm.c

src/server/plugins/java/jvm.c

branch: cpp-ports
changeset 364: e56f9c6f6b8f
parent 84: afd57ce39ec9
child 415: d938228c382e