On Thu, 10 Nov 2022, Emmanuel Bourg wrote: > But openjdk-17-jre also provides java11-runtime. So even with: > > default-jre (>= 2:1.11) | java11-runtime > > there is no guarantee Java 11 will be used.
That’s not the point. That much is true, but the point here is that the user *CAN* use Java 11, *if* they have installed it beforehand, i.e. that they are not _forced_ to upgrade. If they don’t have it installed, the default-jre will be installed anyway. This is about not forcing, possibly multiple, unnecessary JREs. bye, //mirabilos -- Infrastrukturexperte • tarent solutions GmbH Am Dickobskreuz 10, D-53121 Bonn • http://www.tarent.de/ Telephon +49 228 54881-393 • Fax: +49 228 54881-235 HRB AG Bonn 5168 • USt-ID (VAT): DE122264941 Geschäftsführer: Dr. Stefan Barth, Kai Ebenrett, Boris Esser, Alexander Steeg **************************************************** /⁀\ The UTF-8 Ribbon ╲ ╱ Campaign against Mit dem tarent-Newsletter nichts mehr verpassen: ╳ HTML eMail! Also, https://www.tarent.de/newsletter ╱ ╲ header encryption! ****************************************************
