diff --git a/test/nonreg/A0000.java b/test/nonreg/A0000_Test.java
similarity index 95%
rename from test/nonreg/A0000.java
rename to test/nonreg/A0000_Test.java
index bde828f24..fe4b12abb 100644
--- a/test/nonreg/A0000.java
+++ b/test/nonreg/A0000_Test.java
@@ -14,7 +14,7 @@ Alice -> Bob : Hello
 
 
  */
-class A0000 {
+class A0000_Test {
 
 	@Test
 	void testSimple() throws IOException {