1 files changed, 1 insertions, 1 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 209d05bb330c..466dae02e0ee 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -5,7 +5,7 @@ pkgbase = tla-toolbox
 	url = http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html
 	arch = x86_64
 	license = MIT
-	depends = jre8-openjdk
+	depends = java-runtime
 	provides = tla-toolbox
 	conflicts = tla-toolbox
 	source = https://tla.msr-inria.inria.fr/tlatoolbox/products/TLAToolbox-1.5.2-linux.gtk.x86_64.zip