A space is inserted after slash-star /* comments

GJF emits the following:
```
f(43
/*bla */ )
```

(when the max line width is short enough)

Note the space between the closing `*/` and the closing `)`.

This is coming from https://github.com/google/google-java-format/blob/506875dc3f0f1018676c764e5fe58c9a8c216900/core/src/main/java/com/google/googlejavaformat/OpsBuilder.java#L510

Is this intended?

Reproduce the short-line formatting example, then inspect core/src/main/java/com/google/googlejavaformat/OpsBuilder.java around line 510. Determine whether the space after the /* comment is intended and, if not, identify the formatter behavior and regression coverage needed for the corrected output.

由索引模型根據 Issue 內容生成。