Le 19/09/2018 à 21:35, Andreas Tille a écrit : > Hmmm, the build log says it was build using > > openjdk-10-jre-headless:amd64 (10.0.2+13-1) > > so this class should not be missing.
It isn't missing, it's hidden by default to prepare its removal in the next Java release. > I guess this is what I need once Java 11 will be the default - but I > have no idea why the build stumbles upon this. :-( Java 11 will soon be the default (maybe next week for the GA release?), so I recommend aiming for a long term solution. Emmanuel Bourg
