[Jenkins-infra] PR for adding support for AdoptOpenJDK 13 to crawler

[Mads Mohr Christensen]

Hi Infra team,

A couple of weeks ago I opened a PR to add support for AdoptOpenJDK 13 to the crawler:

https://github.com/jenkins-infra/crawler/pull/84 <https://github.com/jenkins-infra/crawler/pull/84>

I have improved the solution to provide automatic support for future versions. 

Could someone please have a look and merge this into master to add support for AdoptOpenJDK 13?

Thanks, Mads.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.jenkins-ci.org/pipermail/jenkins-infra/attachments/20191209/b8f26bd4/attachment.html>