Bug#894367: wadc: JRE dependency should be default-jre | java8-runtime

[Jonathan Dowland]

Hi Adrian, thanks for the report.

On Thu, Mar 29, 2018 at 04:29:03PM +0300, Adrian Bunk wrote:

The JRE dependency is currently:
 openjdk-8-jre | java8-runtime

This should instead be:
 default-jre | java8-runtime

This would avoid apt preferring a non-default JRE
(currently openjdk-9-jre is the default).

Thanks. I think I originally wrote it like that back when 7 was default,
and WadC requires ≥ 8. I'll fix.


--

⢀⣴⠾⠻⢶⣦⠀
⣾⠁⢠⠒⠀⣿⡁ Jonathan Dowland
⢿⡄⠘⠷⠚⠋⠀ https://jmtd.net
⠈⠳⣄⠀⠀⠀⠀