Build #313 (Aug 27, 2020, 9:26:32 AM)

PR #607: Fixes #606

	No changes.
	GitHub pull request #607 of commit c270fd941fc4487b660f36924112a651b3e91e5a, no merge conflicts.

Module Builds

MicroProfile Metrics API	12 sec
MicroProfile Metrics API-TCK	7.1 sec
MicroProfile Metrics Optional-TCK	2.7 sec
MicroProfile Metrics	9.4 sec
MicroProfile Metrics REST-TCK	8.2 sec
MicroProfile Metrics Specification	18 sec