Review request for a simple javadoc fix

[Xueming Shen]

Looks fine.

Mandy Chung wrote:
>  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