Review request for a simple javadoc fix

[Mandy Chung]

  Sherman,

Can you review the simple javadoc fix for:
   6977887: (doc) Java 6 API missing info about encoding parameter in 
storeToXML method

 > hg diff Properties.java
diff --git a/src/share/classes/java/util/Properties.java 
b/src/share/classes/java/util/Properties.java
--- a/src/share/classes/java/util/Properties.java
+++ b/src/share/classes/java/util/Properties.java
@@ -915,6 +915,10 @@
       * @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>,

Thanks
Mandy