XMLDecoder is = new XMLDecoder(
XMLDecoder inp = new XMLDecoder(
	public void dump() throws IOException {		XMLDecoder is = new XMLDecoder(		// NEEDS JDK 1.4			new BufferedInputStream(				new FileInputStream(FILENAME)));		System.out.println(is.readObject());		is.close();	}