diff --git a/src/test/java/testing/ExampleFilesTest.java b/src/test/java/de/tla2b/prettyprintb/OperationsTest.java
similarity index 94%
rename from src/test/java/testing/ExampleFilesTest.java
rename to src/test/java/de/tla2b/prettyprintb/OperationsTest.java
index 038f449da15a2ff734c3f18224d7013924ff2148..1191176bf4dc9ac687567ea25600ab96d046ea8f 100644
--- a/src/test/java/testing/ExampleFilesTest.java
+++ b/src/test/java/de/tla2b/prettyprintb/OperationsTest.java
@@ -1,4 +1,4 @@
-package testing;
+package de.tla2b.prettyprintb;
 
 import java.io.File;
 import java.util.List;
@@ -17,10 +17,10 @@ import org.junit.runners.Parameterized;
 import static org.junit.Assert.assertEquals;
 
 @RunWith(Parameterized.class)
-public class ExampleFilesTest {
+public class OperationsTest {
 	private final File moduleFile;
 
-	public ExampleFilesTest(File machine) {
+	public OperationsTest(File machine) {
 		this.moduleFile = machine;
 	}