[xml/sgml-pkgs] Bug#998881: jing should accept other JRE versions besides the default version

[Olivier Cailloux]

I worked around this for now by using
https://unix.stackexchange.com/questions/404444/how-to-make-apt-ignore-unfulfilled-dependencies-of-installed-package/404449

$ equivs-control controlfile.control
edit package name to: openjdk-11-jre-headless
$ equivs-build controlfile.control 
$ sudo dpkg -i openjdk-11-jre-headless_1.0_all.deb 

edit package name to: openjdk-11-jre
$ equivs-build controlfile.control 
$ sudo dpkg -i openjdk-11-jre_1.0_all.deb