Build #186 (18-Jan-2020 11:59:59)

1. Fixes jdk.tools not being found warning (detail / githubweb)

Started by upstream project Netarkivet-db-migration-pligt-test build number 204
originally caused by:

• Started by upstream project Netarkivet-db-migration-sanity-test build number 349
  originally caused by:
  • Started by timer

• refs/remotes/origin/master