bug#12298: 24.2; wrong font locking for < in comments

[Stefan Kangas]

Benjamin Riefenstahl <b.riefenstahl@turtle-trading.net> writes:

> This is Javadoc and the content of Javadoc is HTML plus additional
> markup using keywords starting with "@", see
> <https://www.oracle.com/technetwork/java/javase/documentation/index-137868.html#format>.
> So it seems warning face is correct here?

Ah, you're right.  To put the literal "<" character, one has to type
"{@literal <}", although it seems like "&lt;" will also work.  (Sorry
for the confusion; I haven't touched Java in a decade or more...)

If no one objects, I'll just close this as notabug.

Best regards,
Stefan Kangas