From 48227f439f7bc7e73da7a383a595eaa160d1fcb1 Mon Sep 17 00:00:00 2001
From: xuwei-k <6b656e6a69@gmail.com>
Date: Thu, 14 May 2026 07:46:25 +0900
Subject: [PATCH] Use java.util.Arrays.copyOf in JsonRpcReader

https://docs.oracle.com/en/java/javase/17/docs/api/java.base/java/util/Arrays.html#copyOf(byte%5B%5D,int)
---
 protocol/src/main/scala/sbt/protocol/JsonRpcReader.scala | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/protocol/src/main/scala/sbt/protocol/JsonRpcReader.scala b/protocol/src/main/scala/sbt/protocol/JsonRpcReader.scala
index b37168798..8f16911a6 100644
--- a/protocol/src/main/scala/sbt/protocol/JsonRpcReader.scala
+++ b/protocol/src/main/scala/sbt/protocol/JsonRpcReader.scala
@@ -33,8 +33,7 @@ object JsonRpcReader {
      */
     var headerBuffer = new Array[Byte](128)
     def expandHeaderBuffer(): Unit = {
-      val newHeaderBuffer = new Array[Byte](headerBuffer.length * 2)
-      headerBuffer.view.zipWithIndex.foreach { (b, i) => newHeaderBuffer(i) = b }
+      val newHeaderBuffer = java.util.Arrays.copyOf(headerBuffer, headerBuffer.length * 2)
       headerBuffer = newHeaderBuffer
     }
     def getLine(): String = {