--- old/test/lib/testlibrary/jdk/testlibrary/JDKToolLauncher.java 2015-12-01 12:11:01.802920594 +0100 +++ new/test/lib/testlibrary/jdk/testlibrary/JDKToolLauncher.java 2015-12-01 12:11:01.578920602 +0100 @@ -38,8 +38,7 @@ *
  * {@code
  * JDKToolLauncher jmap = JDKToolLauncher.create("jmap")
- *                                       .addVMArg("-XX:+PrintGC");
- *                                       .addVMArg("-XX:+PrintGCDetails")
+ *                                       .addVMArg("-Xlog:gc*=debug")
  *                                       .addToolArg("-heap")
  *                                       .addToolArg(pid);
  * ProcessBuilder pb = new ProcessBuilder(jmap.getCommand());