changes.mady.by.user u0097636@kuleuven.be
Saved on Dec 13, 2016
...
Choose CMS with the java arg (-XX:-+UseConcMarkSweepGC).
(CMS is the default with java 1.8.)