RFR: 8312093: Incorrect javadoc comment text

[Jim Laskey]

On Fri, 14 Jul 2023 15:00:37 GMT, Jan Lahoda <jlahoda at openjdk.org> wrote:

> Consider a javadoc comment like:
> 
> public class Test {
>     /***/
>     void main() {
>     }
> }
> 
> 
> The doc comment's String for the javadoc comment will be "`/`", which is wrong. The reason is that the third '*' is ignored, and the closing '/' is used as the content of the comment.
> 
> The proposed solution is to tweak the parser to properly handle the closing '*/' in this case.

LGTM

-------------

Marked as reviewed by jlaskey (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/14890#pullrequestreview-1530496112