E.g. in Isabelle/549019b4a808:
Warning: the fonts "Times" and "Times" are not available for the Java logical font "Serif", which may have unexpected appearance or behavior. Re-enable the "Times" font to remove this warning.
This happens for Java 11 and 17. There is no immediately bad effect, apart from the noise.