Updating the deprecation javadoc for RichTextArea.BasicFormatter.

Patch by: jlabanca
Review by: cramsdale
Issue: 4333



git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@7372 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/user/src/com/google/gwt/user/client/ui/RichTextArea.java b/user/src/com/google/gwt/user/client/ui/RichTextArea.java
index 2ac1715..da42c3e 100644
--- a/user/src/com/google/gwt/user/client/ui/RichTextArea.java
+++ b/user/src/com/google/gwt/user/client/ui/RichTextArea.java
@@ -61,7 +61,7 @@
    * {@link RichTextArea}, use {@link RichTextArea#setHTML(String)} instead.
    * </p>
    * 
-   * @deprecated use {@link Formatter} instead
+   * @deprecated use {@link RichTextArea.Formatter} instead
    */
   @Deprecated
   public interface BasicFormatter {
@@ -196,7 +196,7 @@
    * {@link RichTextArea}, use {@link RichTextArea#setHTML(String)} instead.
    * </p>
    * 
-   * @deprecated use {@link Formatter} instead
+   * @deprecated use {@link RichTextArea.Formatter} instead
    */
   @Deprecated
   public interface ExtendedFormatter extends BasicFormatter {