it is interesting, but afaict it is issue of eclipse. Jdk13 is dead since release of jdk14. if eclipse run against java-latest-openjdk, they are brave. I would recommended to karma ++, and fill a bug agasint both java-latest and eclipse. Without traces, we are blind. Thanx for a cehck!