diff --git a/kernel/src/test/java/org/kframework/kore/compile/AddParentsCellsTest.java b/kernel/src/test/java/org/kframework/compile/AddParentsCellsTest.java
similarity index 100%
rename from kernel/src/test/java/org/kframework/kore/compile/AddParentsCellsTest.java
rename to kernel/src/test/java/org/kframework/compile/AddParentsCellsTest.java
diff --git a/kernel/src/test/java/org/kframework/kore/compile/CloseCellsTest.java b/kernel/src/test/java/org/kframework/compile/CloseCellsTest.java
similarity index 100%
rename from kernel/src/test/java/org/kframework/kore/compile/CloseCellsTest.java
rename to kernel/src/test/java/org/kframework/compile/CloseCellsTest.java
diff --git a/kernel/src/test/java/org/kframework/kore/compile/GenerateSentencesFromConfigDeclTest.java b/kernel/src/test/java/org/kframework/compile/GenerateSentencesFromConfigDeclTest.java
similarity index 100%
rename from kernel/src/test/java/org/kframework/kore/compile/GenerateSentencesFromConfigDeclTest.java
rename to kernel/src/test/java/org/kframework/compile/GenerateSentencesFromConfigDeclTest.java
diff --git a/kernel/src/test/java/org/kframework/kore/compile/SortCellsTest.java b/kernel/src/test/java/org/kframework/compile/SortCellsTest.java
similarity index 100%
rename from kernel/src/test/java/org/kframework/kore/compile/SortCellsTest.java
rename to kernel/src/test/java/org/kframework/compile/SortCellsTest.java
diff --git a/kernel/src/test/java/org/kframework/kore/compile/TestConfiguration.java b/kernel/src/test/java/org/kframework/compile/TestConfiguration.java
similarity index 100%
rename from kernel/src/test/java/org/kframework/kore/compile/TestConfiguration.java
rename to kernel/src/test/java/org/kframework/compile/TestConfiguration.java