JavadocFormatter should preserve HTML formatting in tag comments

The JavadocFormatter class preserves formatting of HTML tags (e.g. <p>...</p>) in class and method description comments but does not preserve their formatting in comments for Javadoc tags such as @deprecated.

For example, in a comment such as the following ...

/**

• @deprecated As of 6.2, with no direct replacement.
  *
• <p>
• This method was
• originally defined to determine if a portlet should be
• displayed in the Control Panel. In this version, this method
• should alway return <code>false</code> and remains only to
• preserve binary compatibility. This method will be
• permanently removed in a future version.
• </p>
  *
• <p>
• In lieu of
• this method, the Control Panel now uses {@link * #hasAccessPermission}

  to determine if a portlet should be

• displayed in the Control Panel.
• </p>
  **/

... the formatter changes it to the following, removing the line separations between HTML tags ...

/**

• @deprecated As of 6.2, with no direct replacement. <p>This method was
• originally defined to determine if a portlet should be
• displayed in the Control Panel. In this version, this method
• should alway return <code>false</code> and remains only to
• preserve binary compatibility. This method will be
• permanently removed in a future version.</p><p>In lieu of
• this method, the Control Panel now uses {@link * #hasAccessPermission}

  to determine if a portlet should be

• displayed in the Control Panel.</p>
  **/