diff --git a/debian/control b/debian/control
index a51283e843..9ecd1fab3d 100644
--- a/debian/control
+++ b/debian/control
@@ -28,13 +28,13 @@ Build-Depends: debhelper (>= 9),
 # the tests require the docs to be built, which requires jquery
                libjs-jquery <!nocheck>,
 # below are optional tools even for 'make check'
-               antlr4 <!nocheck>,
+               antlr4 <!nocheck> | antlr <!nocheck>,
                bison <!nocheck>,
                flex <!nocheck>,
 # temporarily disabled because of https://github.com/rust-lang/rust/issues/36323
 # we should be able to re-enable it soon, it seems already fixed in rustc head + gdb trunk
 #               gdb <!nocheck>,
-               default-jdk-headless <!nocheck>,
+               default-jdk-headless <!nocheck> | default-jdk <!nocheck>,
 Build-Depends-Indep: libjs-jquery <!nodoc>,
                      pandoc (>= 1.9),
                      po4a,