if (inputFilename.endsWith(".gz")) in = new GZIPInputStream(in);
	public void execute() throws IOException, DocumentException {		InputStream in;		if (inputFilename.equals("-")) {			in = System.in;		} else {			in = new BufferedInputStream(new FileInputStream(inputFilename));		}				bugCollection.readXML(in, project);		Document document = DocumentFactory.getInstance().createDocument();		Dom4JXMLOutput xmlOutput = new Dom4JXMLOutput(document);		bugCollection.writeXML(xmlOutput, project);				int count = 0;				List<Element> bugInstanceList = document.selectNodes("/BugCollection/BugInstance");		for (Element element : bugInstanceList) {			Attribute uidAttr = element.attribute("uid");			if (uidAttr == null) {				element.addAttribute("uid", Integer.toString(count++));			}		}				OutputStream out;		if (outputFilename.equals("-")) {			out = System.out;		} else {			out = new BufferedOutputStream(new FileOutputStream(outputFilename));		}		XMLWriter xmlWriter = new XMLWriter(out, OutputFormat.createPrettyPrint());		xmlWriter.write(document);	}