A fresh workspace, a fresh installation of Eclipse for Java,
Version: 2024-09 (4.33.0)
Build id: 20240905-0614
Eclipse Java Development Tools: 3.19.600.v20240903-0240
Parameter name hints enabled:

There are two extra spaces after the parameter name:

I have no idea where the extra spaces are coming from as the code itself seems to only add one:
|
text.append(": "); //$NON-NLS-1$ |
Windows 11 in Czech locale, Java 23
A fresh workspace, a fresh installation of Eclipse for Java,
Parameter name hints enabled:

There are two extra spaces after the parameter name:

I have no idea where the extra spaces are coming from as the code itself seems to only add one:
eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/codemining/JavaMethodParameterCodeMining.java
Line 31 in 2886912
Windows 11 in Czech locale, Java 23