diff --git a/pom.xml b/pom.xml
index 9a38739c8..a288b8f88 100644
--- a/pom.xml
+++ b/pom.xml
@@ -31,9 +31,9 @@
         <module>dbgpc</module>
         <module>cmd-plugins</module>
         <module>vdmjunit</module>
-        <module>examples</module>
-        <module>packaging</module>
         <module>quickcheck</module>
+        <module>packaging</module>
+        <module>examples</module>
     </modules>
 
 	<dependencyManagement>