On Thu, Nov 8, 2018 at 8:03 PM Alex Corcoles <alex@corcoles.net> wrote:
This is not timestamped, but I guess it is the thing. Weird, I don't remember my provisioning does anything JRE-related, but I will do some digging myself.

Yay, I'm an idiot. I have automatic updates via yum-cron and OpenJDK had been updated. A reboot solved the issue.

I'm not sure if it's worth filing a bug about this, but I don't mind doing so.

Sorry for wasting everyone's time :(

Álex
--
   ___
 {~._.~}
  ( Y )
 ()~*~()  mail: alex at corcoles dot net