Robuta

https://jcp.org/aboutJava/communityprocess/news/2004/01/election.html Newly Elected JCP Executive Committee Members Reflect on Past, Peer into Future jcp executive committee https://jcp.org/aboutJava/communityprocess/final/jsr355/index.html JSR-000355 JCP Executive Committee Merge - Final Release jcp executive committee jsr merge final release https://jcp.org/aboutJava/communityprocess/ec-public/materials/2024-06-11/JCP-EC-Meeting-Minutes-June-2024.html JCP Executive Committee Meeting Minutes: 11 June 2024 jcp executive committee meeting minutes 11 june 2024