From 3105f9cdde2ff30aeb110163385a52204e7df31e Mon Sep 17 00:00:00 2001
From: Ximin Luo <infinity0@debian.org>
Date: Tue, 28 Feb 2017 11:45:01 +0100
Subject: [PATCH] Add alternatives to some B-Ds to help with backporting

---
 debian/control | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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,