From 781ec66ca79419d9c520262911534a3ca9c6f36e Mon Sep 17 00:00:00 2001
From: Steffen Lange <github@stelas.de>
Date: Sat, 26 Oct 2019 16:31:36 +0200
Subject: [PATCH] Add JDK 13

---
 modules/AdoptOpenJDK13.php | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 modules/AdoptOpenJDK13.php

diff --git a/modules/AdoptOpenJDK13.php b/modules/AdoptOpenJDK13.php
new file mode 100644
index 0000000..a831581
--- /dev/null
+++ b/modules/AdoptOpenJDK13.php
@@ -0,0 +1,14 @@
+<?php
+
+class AdoptOpenJDK13 extends PatchBase {
+	function __construct() {
+		parent::__construct('AdoptOpenJDK', 'OpenJDK JRE 13', 'https://adoptopenjdk.net/');
+	}
+	function check() : bool {
+		if ($this->fetch('https://api.adoptopenjdk.net/v2/info/releases/openjdk13?release=latest&openjdk_impl=hotspot&type=jre&os=windows&arch=x64', true))
+			return $this->parse_json('openjdk_version');
+		return false;
+	}
+}
+
+?>