BufferedInputStream in = new BufferedInputStream(new FileInputStream(fileName));
InputStream  in = new BufferedInputStream(new FileInputStream(fileName)); if (fileName.endsWith(".gz")) in = new GZIPInputStream(in);
	public void readXML(String fileName, Project project)	        throws IOException, DocumentException {		try {		BufferedInputStream in = new BufferedInputStream(new FileInputStream(fileName));		readXML(in, project);		} catch (IOException e) {			IOException e2 = new IOException("Error reading " + fileName + ": " + e.getMessage());			e2.setStackTrace(e.getStackTrace());			throw e2;		}	}