Заменить все экземпляры в строке с уникальной заменой

Я пытаюсь заменить все экземпляры определенной строки уникальной заменой.

Что бы я хотел:

Если у меня есть эта строка:

String testScript = "while(true) { } while   (10 < 7) { } while((10 < 7)) { }";

Я хотел бы этот вывод:

while(arg0 < 5000 && true) { } while(arg1 < 5000 && 10 < 7) { } while(arg2 < 5000 && (10 < 7)) { }

Что я имею:

Тем не менее, строка передана вreplaceAll больше не запрашивается (очевидно, теперь я думаю об этом).

while(arg0 < 5000 && true) { } while(arg0 < 5000 && 10 < 7) { } while(arg0 < 5000 && (10 < 7)){ }

Любые ответы или комментарии, как всегда, с благодарностью.

SSCCE:

public static void main(String[] args) {
     int counter = 0;
     String testScript = "while(true) { } while   (10 < 7) { } while((10 < 7)) { }";
     String out = testScript.replaceAll("while\\s*\\(", "while(arg" + (counter++) + " < 5000 && ");
     System.out.println(out);
}