<a title="438 - fix jenkins build error" href="https://github.com/eclipse/microprofile-open-api/pull/439">PR #439</a>: 438 - fix jenkins build error