Started 9 days 8 hr ago
Took 2 hr 6 min on research-jenkins-worker-07

Success Build #10771 (Jan 11, 2019 5:08:36 AM)

PR #3735: Refine Java worker codes.
No changes.

GitHub pull request #3735 of commit 3f92e34b378b70e277a388a461c194f1323defeb automatically merged.