debian/20230103
7ed1dec5 · * Promote again the JRE recommendation to a dependency. Otherwise · Jan 03, 2023