private static void printSummary() {
		GlobalOptions.err.println();
		if (failedClasses.size() > 0) {
			GlobalOptions.err.println("Failed to decompile these classes:");
			Enumeration enum_ = failedClasses.elements();
			while (enum_.hasMoreElements()) {
				GlobalOptions.err.println("\t" + enum_.nextElement());
			}
			GlobalOptions.err.println("Failed to decompile "
					+ failedClasses.size() + " classes.");
		}
		GlobalOptions.err.println("Decompiled " + successCount + " classes.");
	}