src/Pure/General/http.scala

--- a/src/Pure/General/http.scala	Sun Jul 02 18:56:52 2023 +0200
+++ b/src/Pure/General/http.scala	Sun Jul 02 19:05:59 2023 +0200
@@ -69,7 +69,7 @@
     ): HttpURLConnection = {
       url.openConnection match {
         case connection: HttpURLConnection =>
-          if (0 < timeout.ms && timeout.ms <= Integer.MAX_VALUE) {
+          if (0 < timeout.ms && timeout.ms <= Int.MaxValue) {
             val ms = timeout.ms.toInt
             connection.setConnectTimeout(ms)
             connection.setReadTimeout(ms)