Integrated: 8312093: Incorrect javadoc comment text

[Jan Lahoda]

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.

This pull request has now been integrated.

Changeset: 1c9691b1
Author:    Jan Lahoda <jlahoda at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/1c9691b1f762812aa090b88507d60a2e2e5f4933
Stats:     33 lines in 2 files changed: 31 ins; 0 del; 2 mod

8312093: Incorrect javadoc comment text

Reviewed-by: jlaskey

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

PR: https://git.openjdk.org/jdk/pull/14890