if (a instanceof CliOption) {
final CliOption option = (CliOption) a;
// Figure out which key we want to use (use
// first non-empty string, or make it
// "(default)" if needed)
String key = option.key()[0];
if ("".equals(key)) {
for (final String otherKey : option
.key()) {
if (!"".equals(otherKey)) {
key = otherKey;