[Drjava-users] How to use JVM command line options?

[Merrill, A. <Mer...@ca...>]

SSBoYXZlIHNldmVyYWwgSmF2YSBwcm9ncmFtcyB0aGF0IEkgd291bGQgbGlrZSB0byBlZGl0IGFu
ZCBydW4gaW4gRHJKYXZhLCBidXQgdGhleSB1c2UgY29uc2lkZXJhYmx5IG1vcmUgdGhhbiB0aGUg
ZGVmYXVsdCA2NE1CIG1lbW9yeSBhbGxvY2F0aW9uIHBvb2wuICBXaGVuIEkgaW52b2tlIHRoZSBK
Vk0gZnJvbSB0aGUgY29tbWFuZCBsaW5lLCBJIGNhbiB1c2UgYW4gb3B0aW9uIGxpa2UgLVhteDUx
Mm0gYW5kIGV2ZXJ5dGhpbmcgcnVucyBmaW5lLiAgSW4gb3RoZXIgSURFcywgdGhlcmUgaXMgYSBw
cmVmZXJlbmNlcyBvciBvcHRpb25zIHNjcmVlbiB3aGVyZSBJIGNhbiBzcGVjaWZpeSBhZGRpdGlv
bmFsIGNvbW1hbmQgbGluZSBvcHRpb25zIHRvIHVzZSB3aGVuIEkgcnVuIG15IHByb2dyYW0uDQog
DQpJJ3ZlIGJlZW4gdW5hYmxlIHRvIGZpbmQgYW55IHNpbWlsYXIgZmVhdHVyZSBpbiBEckphdmEu
ICBJIGRvdWJ0IEknbSB0aGUgb25seSBvbmUgd2hvIHJ1bnMgbGFyZ2VyIHByb2dyYW1zIGluIERy
SmF2YS4gIElzIHRoZXJlIHNvbWUgdHJpY2sgdGhhdCBJJ20gbWlzc2luZz8gIERpZCBJIG92ZXJs
b29rIGEgcHJlZmVyZW5jZXMgc2V0dGluZz8NCiANClRoYW5rcyBmb3IgeW91ciBoZWxwLg0KIA0K
QW5kcmV3IE1lcnJpbGwNCkNvbXB1dGVyIFNjaWVuY2UgVGVhY2hlcg0KQ2F0bGluIEdhYmVsIFNj
aG9vbCwgUG9ydGxhbmQsIE9yZWdvbg0K