[Integrated] RFR: 72: Retry jcheck if an exception occurs

[Robin Westberg]

Changeset: f1f33e28
Author:    Robin Westberg <rwestberg at openjdk.org>
Date:      2019-10-29 06:59:52 +0000
URL:       https://git.openjdk.java.net/skara/commit/f1f33e28

72: Retry jcheck if an exception occurs

Reviewed-by: ehelin

! bots/pr/src/main/java/org/openjdk/skara/bots/pr/CheckRun.java
! bots/pr/src/test/java/org/openjdk/skara/bots/pr/CheckTests.java