throw new DocumentException("Parse error", e);
throw new DocumentException("Sax error ", e);
	private void doReadXML(InputStream in, Project project) throws IOException, DocumentException {		checkInputStream(in);		try {			SAXBugCollectionHandler handler = new SAXBugCollectionHandler(this, project);			// FIXME: for now, use dom4j's XML parser			XMLReader xr = new org.dom4j.io.aelfred.SAXDriver();			xr.setContentHandler(handler);			xr.setErrorHandler(handler);			Reader reader = new InputStreamReader(in);			xr.parse(new InputSource(reader));		} catch (SAXException e) {			// FIXME: throw SAXException from method?			throw new DocumentException("Parse error", e);		}		// Presumably, project is now up-to-date		project.setModified(false);	}