gnu: openjdk17: Update to 17.0.2