Build #51 (Jun 1, 2020, 3:28:17 AM)

PR #428: Make sure this can build in...

	No changes.
	GitHub pull request #428 of commit a5a610947c9ab544ce19a367a731bba0ce7560e8, no merge conflicts.

Module Builds

MicroProfile OpenAPI API	55 sec
MicroProfile OpenAPI	1 min 1 sec
MicroProfile OpenAPI Specification	29 sec
MicroProfile OpenAPI SPI	2.3 sec
MicroProfile OpenAPI TCK	28 sec