new ShortestUsagePrinter((ShortestUsageMarker)usageMarker, configuration.verbose);
new ShortestUsagePrinter((ShortestUsageMarker)usageMarker, configuration.verbose);
new ShortestUsagePrinter((ShortestUsageMarker)usageMarker, configuration.verbose);
new ShortestUsagePrinter((ShortestUsageMarker)usageMarker, configuration.verbose);