[ jEdit-devel ] deleting next newline character in java 21 (linux)

[Alan E. <ala...@gm...>]

I just tried jEdit with java21 and now the "delete" character no longer
works if I am at the end of the line - i expect it to delete the newline
and it just doesn't. switching to java 19 makes the problem go away.