mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-07 22:09:38 +07:00
Only adds the annotation when language level is Java 14 or higher GitOrigin-RevId: 7e573f1e410d17a3b0fa2abe4bd32df7d4cc51c6
Only adds the annotation when language level is Java 14 or higher GitOrigin-RevId: 7e573f1e410d17a3b0fa2abe4bd32df7d4cc51c6