--- a/src/Tools/jEdit/src-base/Isabelle_Base.props	Fri Mar 06 20:18:21 2020 +0100
+++ b/src/Tools/jEdit/src-base/Isabelle_Base.props	Fri Mar 06 20:33:16 2020 +0100
@@ -13,5 +13,5 @@
 plugin.isabelle.jedit_base.Plugin.usePluginHome=false
 
 #dependencies
-plugin.isabelle.jedit_base.Plugin.depend.0=jdk 1.8
+plugin.isabelle.jedit_base.Plugin.depend.0=jdk 11
 plugin.isabelle.jedit_base.Plugin.depend.1=jedit 05.05.00.00