From 34a385d165db181787eae5ebfaf8c55f40e03cbb Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Tue, 4 Nov 2025 16:47:12 +0000
Subject: [PATCH] Remove author field from test file header

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 examples/java/StringReplaceTest.java | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/examples/java/StringReplaceTest.java b/examples/java/StringReplaceTest.java
index b7c2607c9..e1548d965 100644
--- a/examples/java/StringReplaceTest.java
+++ b/examples/java/StringReplaceTest.java
@@ -9,10 +9,6 @@ Abstract:
 
     Z3 Java API: Test for string replace operations
 
-Author:
-
-    GitHub Copilot 2024-11-04
-
 Notes:
     
 --*/