From 1b927c7ab7b0941ca31f44658bd7f5fb361594bd Mon Sep 17 00:00:00 2001
From: Simon Legner <Simon.Legner@gmail.com>
Date: Tue, 2 Feb 2021 21:48:21 +0100
Subject: [PATCH] Remove openjdk14, openjdk13

End of life. No longer provided on packages.debian.org
---
 lib/docs/scrapers/openjdk.rb | 18 ------------------
 1 file changed, 18 deletions(-)

diff --git a/lib/docs/scrapers/openjdk.rb b/lib/docs/scrapers/openjdk.rb
index 3a18c588..89cc377e 100644
--- a/lib/docs/scrapers/openjdk.rb
+++ b/lib/docs/scrapers/openjdk.rb
@@ -45,24 +45,6 @@ module Docs
 
     OLDFILTERS = ['openjdk/entries', 'openjdk/clean_html']
 
-    version '14' do
-      self.release = '14.0.2'
-      self.root_path = 'index.html'
-
-      html_filters.push OLDFILTERS
-
-      options[:container] = 'main'
-    end
-
-    version '13' do
-      self.release = '13.0.5'
-      self.root_path = 'index.html'
-
-      html_filters.push OLDFILTERS
-
-      options[:container] = 'main'
-    end
-
     version '11' do
       self.release = '11.0.9'
       self.root_path = 'index.html'