diff --git a/arduino-core/src/cc/arduino/utils/network/HttpConnectionManager.java b/arduino-core/src/cc/arduino/utils/network/HttpConnectionManager.java index 25577e0dcd2..b067e8faaa9 100644 --- a/arduino-core/src/cc/arduino/utils/network/HttpConnectionManager.java +++ b/arduino-core/src/cc/arduino/utils/network/HttpConnectionManager.java @@ -128,6 +128,11 @@ private HttpURLConnection makeConnection(URL requestURL, int movedTimes, .toUpperCase().replace("-", "").substring(0, 16); HttpURLConnection connection = (HttpURLConnection) requestURL .openConnection(proxy); + + // see https://github.com/arduino/Arduino/issues/10264 + // Workaround for https://bugs.openjdk.java.net/browse/JDK-8163921 + connection.setRequestProperty("Accept", "*/*"); + connection.setRequestProperty("User-agent", userAgent); connection.setRequestProperty("X-Request-ID", requestId); if (id != null) {