tree ba9659569a2ca4491741e6cc71251b68846e0c9c
parent 05080682df4ac184ace38c9eda86446c03a35e78
author Nicolas De Loof <nicolas.deloof@gmail.com> 1412168846 +0200
committer Nicolas De Loof <nicolas.deloof@gmail.com> 1412168987 +0200

option to set JVM parameters, especially system properties