3 ms·

I'm sure you're right, but I also wouldn't be surprised if it was literally Java 12. I've seen all sorts of insanity in very large organizations.