Reviewers: pdr, Description: Fix double escaping of HTML characters in Javadoc
Please review this at http://gwt-code-reviews.appspot.com/1173801/show Affected files: M user/src/com/google/gwt/safehtml/client/SafeHtmlTemplates.java M user/src/com/google/gwt/safehtml/shared/SafeHtml.java M user/src/com/google/gwt/safehtml/shared/SafeHtmlBuilder.java M user/src/com/google/gwt/safehtml/shared/SafeHtmlHostedModeUtils.java M user/src/com/google/gwt/safehtml/shared/SafeHtmlUtils.java M user/src/com/google/gwt/safehtml/shared/SimpleHtmlSanitizer.java M user/super/com/google/gwt/emul/java/math/MathContext.java -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
