// The other fix: import the whole module (JEP 511, final in Java 25). One line covers java.net.http.
import module java.net.http;

void main() {
    HttpClient client = HttpClient.newHttpClient();
    IO.println("default HTTP version: " + client.version());
}