Move test only method to test

Author: unp1

key.core/src/main/java/de/uka/ilkd/key/java/Services.java

@@ -317,17 +317,6 @@ public Counter getCounter(String name) {
         return c;
     }
 
-    /**
-     * Reset all counters associated with this service.
-     * Only use this method if the proof is empty!
-     */
-    public void resetCounters() {
-        if (proof.root().childrenCount() > 0) {
-            throw new IllegalStateException("tried to reset counters on non-empty proof");
-        }
-        counters.clear();
-    }
-
     /**
      * returns the namespaces for functions, predicates etc.
      *

key.core/src/test/java/de/uka/ilkd/key/proof/replay/TestCopyingReplayer.java

@@ -3,11 +3,14 @@
  * SPDX-License-Identifier: GPL-2.0-only */
 package de.uka.ilkd.key.proof.replay;
 
+import java.lang.reflect.Field;
 import java.nio.file.Files;
 import java.nio.file.Path;
+import java.util.HashMap;
 import java.util.HashSet;
 
 import de.uka.ilkd.key.control.KeYEnvironment;
+import de.uka.ilkd.key.proof.Counter;
 import de.uka.ilkd.key.proof.Proof;
 import de.uka.ilkd.key.settings.GeneralSettings;
 
@@ -27,6 +30,25 @@
 class TestCopyingReplayer {
     public static final Path testCaseDirectory = FindResources.getTestCasesDirectory();
 
+    /**
+     * Reset all counters associated with this service.
+     * Only use this method if the proof is empty!
+     */
+    public void resetCounters(Proof proof) {
+        if (proof.root().childrenCount() > 0) {
+            throw new IllegalStateException("tried to reset counters on non-empty proof");
+        }
+
+        try {
+            final Field countersField = proof.getServices().getClass().getDeclaredField("counters");
+            countersField.setAccessible(true);
+            // noinspection unchecked
+            ((HashMap<String, Counter>) countersField.get(proof.getServices())).clear();
+        } catch (NoSuchFieldException | IllegalAccessException e) {
+            throw new RuntimeException(e);
+        }
+    }
+
     @Test
     void testJavaProof() throws Exception {
         GeneralSettings.noPruningClosed = false;
@@ -48,7 +70,7 @@ void testJavaProof() throws Exception {
 
             // clear proof2, replay proof1 on top
             proof2.pruneProof(proof2.root());
-            proof2.getServices().resetCounters();
+            resetCounters(proof2);
             new CopyingProofReplayer(proof1, proof2).copy(proof1.root(),
                 proof2.getOpenGoal(proof2.root()), new HashSet<>());