[devdocsgjs/main: 1483/1867] Remove openjdk14, openjdk13

[Andy Holmes <andyholmes src gnome org>]

commit 1b927c7ab7b0941ca31f44658bd7f5fb361594bd
Author: Simon Legner <Simon Legner gmail com>
Date:   Tue Feb 2 21:48:21 2021 +0100

    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'