mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-03 15:50:52 +07:00
appeared to be a javac bug, filed https://mail.openjdk.java.net/pipermail/compiler-dev/2020-September/015075.html GitOrigin-RevId: 74bb18f3b3d82cdfbbad77a883d826b52549b9ab