openjdk17: 17.0.12+7 -> 17.0.13+11
Drop an upstreamed patch, and update another for upstream changes.
Emily 1 year ago fe4e4a1a afa5f909