Как изменить строку агента пользователя для java. net .http.HttpClient

Question

Я использую новый java.net.http.HttpClient и хотел бы изменить строку агента пользователя. По умолчанию он отправляет Java-http-client/11.0.6, но я бы сам определил некоторую строку.

Есть идеи, как это сделать?

Answer 1

Существовала ошибка , теперь она устранена.

import java.io.IOException;
import java.net.URI;
import java.net.http.HttpClient;
import java.net.http.HttpRequest;
import java.net.http.HttpResponse.BodyHandlers;

class Main {
    public static void main(String[] args) throws IOException, InterruptedException {
        var client = HttpClient.newHttpClient();
        HttpRequest request = HttpRequest.newBuilder(URI.create("https://httpbin.org/headers"))
                .setHeader("User-Agent", "Example user agent")
                .build();
        System.out.println(client.send(request, BodyHandlers.ofString()).body());
    }
}