jdk/src/share/classes/java/util/Properties.java
changeset 6521 3b995fa42e90
parent 5506 202f599c92aa
child 6882 637546039be3
--- a/jdk/src/share/classes/java/util/Properties.java	Wed Sep 01 09:45:08 2010 -0700
+++ b/jdk/src/share/classes/java/util/Properties.java	Wed Sep 01 17:37:45 2010 -0700
@@ -912,9 +912,13 @@
      *
      * <p>The specified stream remains open after this method returns.
      *
-     * @param os the output stream on which to emit the XML document.
-     * @param comment a description of the property list, or <code>null</code>
-     *        if no comment is desired.
+     * @param os        the output stream on which to emit the XML document.
+     * @param comment   a description of the property list, or <code>null</code>
+     *                  if no comment is desired.
+     * @param  encoding the name of a supported
+     *                  <a href="../lang/package-summary.html#charenc">
+     *                  character encoding</a>
+     *
      * @throws IOException if writing to the specified output stream
      *         results in an <tt>IOException</tt>.
      * @throws NullPointerException if <code>os</code> is <code>null</code>,