Re: Integrated: 8308370: Fix build failures related to the java.awt.Robot documentation

[Roger Riggs]

On Thu, 18 May 2023 18:42:41 GMT, Alexander Zvegintsev <azveg...@openjdk.org> 
wrote:

> Fix a typo

The extraneous <p> should have been removed not just closed.

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

PR Comment: https://git.openjdk.org/jdk/pull/14050#issuecomment-1553568050