DateFormat df = new SimpleDateFormat("EEE, d MMM yyyy HH:mm:ss Z");
DateFormat df = DateFormat.getDateTimeInstance(DateFormat.FULL, DateFormat.FULL);
	public Element toElement(Branch parent) {		Element root = parent.addElement("FindBugsSummary");		DateFormat df = new SimpleDateFormat("EEE, d MMM yyyy HH:mm:ss Z");		Date date = new Date();		root.addAttribute("timestamp", df.format(date));		root.addAttribute("total_classes", String.valueOf(totalClasses));		root.addAttribute("total_bugs", String.valueOf(totalErrors));		root.addAttribute("num_packages", String.valueOf(packageStatsMap.size()));		Iterator<PackageStats> i = packageStatsMap.values().iterator();		while (i.hasNext()) {			PackageStats stats = i.next();			stats.toElement(root);		}		return root;	}