--- src/examples/servlet/XMLServlet.java.orig	2004-07-23 18:45:59.000000000 -0400

+++ src/examples/servlet/XMLServlet.java	2004-07-23 19:01:30.000000000 -0400

@@ -277,6 +277,12 @@

         }

+        public void setCharacterEncoding( String enc )

+        {

+            _response.setCharacterEncoding( enc );

+        }

+

+

         public ServletOutputStream getOutputStream()

             throws IOException

         {

@@ -297,6 +303,12 @@

         }

+        public String getContentType()

+        {

+            return _response.getContentType();

+        }

+

+

         public void setContentType( String type )

         {

             _response.setContentType( type );