On Fri, 25 Apr 2025 18:48:48 GMT, Daniel Fuchs <dfuchs at openjdk.org> wrote: > MalformedURLException could be thrown while constructing the URL... Good catch, fixed. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/24657#discussion_r2060739140