Thanks for solving this. Maybe I am nitpicking here, but it would be more correct, I suppose, to just depend on java-runtime rather than on default-jre OR java-runtime.
- Bug#998881: fixed in jing-trang 20181222+dfsg2-6 Olivier Cailloux
- Bug#998881: fixed in jing-trang 20181222+dfsg2-6 Samuel Thibault