Hi all, may I get reviews for this tiny trivial change which causes jcmd help output (the command list) to be sorted? bug: https://bugs.openjdk.java.net/browse/JDK-8200384 webrev: http://cr.openjdk.java.net/~stuefe/webrevs/8200384-jcmd-help-sorted/webrev.00/webrev/ Thanks! Best Regards, Thomas