Build #52 (Jun 1, 2020, 6:32:33 PM)

PR #429: Javadoc fix for JDK 11 build

	No changes.
	GitHub pull request #429 of commit 63e26cfcb96f5711fce9251206eb5656e0ee75e0, no merge conflicts.

Module Builds

MicroProfile OpenAPI API	48 sec
MicroProfile OpenAPI	35 sec
MicroProfile OpenAPI Specification	48 sec
MicroProfile OpenAPI SPI	3 sec
MicroProfile OpenAPI TCK	27 sec