9899100101102103104105106107
} } } if(candidate == null) { throw new NoSuchCommandException("No such command: " + cmdname); } return candidate.getValue(); }