mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 02:59:33 +07:00
The newly regenerated list is merged with the previous API list. The newly generated list uses an updated version of the generator that correctly writes canonical names for Java versions higher than 19. #IDEA-357683 Fixed GitOrigin-RevId: 81c62964385d1daaeaf3e84306ebfbc5c77ad90a