}
else if (token.length() > 1)
{
// handle short option (e.g., -c)
CharIterator i = new CharIterator( token.substring( 1 ) );
while (i.hasNext())
{
String tok = String.valueOf( i.next() );
Option option = findShortOption( tok );
if (option == null)
{
report( String.format(