[JetBrains] Upgrade IDEs to 2025.1#20763

Merged

roboquat merged 4 commits intomainfrom

Apr 23, 2025

Commits on Apr 21, 2025

[JetBrains] Update IDE images to new build version
roboquat
committed

Commits on Apr 22, 2025

Make it build
mustard-mh
committed
Update Platform Version of JetBrains Gateway Plugin (Stable) to

roboquat
authored and
mustard-mh
committed
Upgrade setup-java to v4
mustard-mh
committed