Le 04/10/2018 à 00:08, Santiago Vila a écrit : > Hi. Thanks for the report. It's now forwarded upstream.
Thank you > Simple question: Is Java 11 already the default in experimental? > (So that I can test the fix when they fix it in git). Not yet, I plan to do that today. That said, I think it would be simpler to scrap the convoluted Java detection logic and simply assume the version pulled from the build dependencies is suitable. Otherwise we'll have to apply a patch again every 6 months. If we do so we can directly test with Java 10. Emmanuel Bourg
