RFR (XXS) 8233422 : Extra space in the title of the HTML javadoc page

[Jonathan Gibbons]

Forwarding to build-dev.

build-folk,

This one's for you.

-- Jon

On 11/1/19 4:24 PM, Ivan Gerasimov wrote:
> Hello!
>
> Every javadoc HTML page has a title, which includes the product and 
> the version information.
>
> For example, for the page [1] it is "String (Java 13 SE & JDK 13 )"
>
> [1] 
> https://docs.oracle.com/en/java/javase/13/docs/api/java.base/java/lang/String.html
>
> Note the extra space before the closing parenthesis.
>
> Would you please help review a trivial fix, which removes this extra 
> space?
>
> (The space will still be preserved if the build information needs to 
> be included.)
>
> BUGURL: https://bugs.openjdk.java.net/browse/JDK-8233422
> WEBREV: http://cr.openjdk.java.net/~igerasim/8233422/00/webrev/
>