--- old/src/share/classes/java/beans/XMLEncoder.java 2010-06-23 19:55:15.000000000 -0700 +++ new/src/share/classes/java/beans/XMLEncoder.java 2010-06-23 19:55:15.000000000 -0700 @@ -204,7 +204,7 @@ * * @author Philip Milne */ -public class XMLEncoder extends Encoder { +public class XMLEncoder extends Encoder implements AutoCloseable { private final CharsetEncoder encoder; private final String charset;