From 2edf2654481377d74d9114d464fb96292325dd93 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Sat, 19 Sep 2020 13:34:07 +0200
Subject: [PATCH] jedit: use jdk8

---
 pkgs/top-level/all-packages.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 31d5aa89d9ee..7fb13bccc236 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -21344,7 +21344,9 @@ in
 
   jdupes = callPackage ../tools/misc/jdupes { };
 
-  jedit = callPackage ../applications/editors/jedit { };
+  jedit = callPackage ../applications/editors/jedit {
+    jdk = jdk8; # TODO: upgrade
+  };
 
   jgmenu = callPackage ../applications/misc/jgmenu { };