private static String firstElement(String[] elements) {
        if (elements == null || elements.length == 0) {
            return "";
        }
        return elements[0];
    }
Sorts {@code OptionSpec} instances by their name in case-insensitive
alphabetic order. If an option has multiple names, the shortest name is used
for the sorting. Help options follow non-help options.
docs/genadoc.java