}
}
out.printf("%7d recent issues%n", allRecentIssues);
if (options.cloudSummary != null && cloud.supportsCloudSummaries()) {
try {
PrintWriter cs = UserTextFile.printWriter(options.cloudSummary);
cs.printf("%6s %6s %s%n", "recent", "total", "Rank category");
for (Entry<BugRankCategory, Stats> e : stats.entrySet()) {
Stats s = e.getValue();