On Mon, 2 Jul 2018, Emmanuel Bourg wrote: > Someone has a better idea?
OK, since the last one was impracticable: Revert default-jdk to 8 until these all are fixed. (Since the internal APIs are, well, internal, they all ought to be fixed by their respective upstreams *anyway* AIUI.) Or, perhaps better: Use --release, and for those packages that fail with it, use an explicit B-D on openjdk-8-jdk instead of default-jdk until that individual package is fixed. But keep the default at newer JDK plus --release to ensure the amount of to-be-fixed packages does not grow in the meantime. bye, //mirabilos -- tarent solutions GmbH Rochusstraße 2-4, D-53123 Bonn • http://www.tarent.de/ Tel: +49 228 54881-393 • Fax: +49 228 54881-235 HRB 5168 (AG Bonn) • USt-ID (VAT): DE122264941 Geschäftsführer: Dr. Stefan Barth, Kai Ebenrett, Boris Esser, Alexander Steeg
