diff --git a/dbgpc/src/main/scripts/dbgpc.sh b/dbgpc/src/main/scripts/dbgpc.sh
index b6d61cf53..036f1ae22 100755
--- a/dbgpc/src/main/scripts/dbgpc.sh
+++ b/dbgpc/src/main/scripts/dbgpc.sh
@@ -4,8 +4,8 @@
 #####################################################################################
 
 # Change these to flip version
-MVERSION="4.6.0-SNAPSHOT"
-PVERSION="4.6.0-P-SNAPSHOT"
+MVERSION="4.5.0-SNAPSHOT"
+PVERSION="4.5.0-P-SNAPSHOT"
 
 # The Maven repository directory containing jars
 MAVENREPO=~/.m2/repository/com/fujitsu
diff --git a/lsp/src/main/scripts/lsp.sh b/lsp/src/main/scripts/lsp.sh
index 0b83c689c..8e22ae808 100755
--- a/lsp/src/main/scripts/lsp.sh
+++ b/lsp/src/main/scripts/lsp.sh
@@ -11,8 +11,8 @@ function usage()
     exit 1
 }
 
-MVERSION="4.6.0-SNAPSHOT"
-PVERSION="4.6.0-P-SNAPSHOT"
+MVERSION="4.5.0-SNAPSHOT"
+PVERSION="4.5.0-P-SNAPSHOT"
 VERSION=$MVERSION
 
 # The Maven repository directory containing jars
diff --git a/pom.xml b/pom.xml
index 584f354fe..b383f4061 100644
--- a/pom.xml
+++ b/pom.xml
@@ -15,7 +15,7 @@
         <maven.build.timestamp.format>yyMMdd</maven.build.timestamp.format>
         <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
 
-        <revision>4.6.0-SNAPSHOT</revision>
+        <revision>4.5.0-SNAPSHOT</revision>
         <changelist></changelist>
         <sha1/>
     </properties>
diff --git a/vdmj/src/main/scripts/vdmsl.sh b/vdmj/src/main/scripts/vdmsl.sh
index 783a92ce0..f9fca4a0f 100755
--- a/vdmj/src/main/scripts/vdmsl.sh
+++ b/vdmj/src/main/scripts/vdmsl.sh
@@ -4,8 +4,8 @@
 #####################################################################################
 
 # Change these to flip VDMJ version
-MVERSION="4.6.0-SNAPSHOT"
-PVERSION="4.6.0-P-SNAPSHOT"
+MVERSION="4.5.0-SNAPSHOT"
+PVERSION="4.5.0-P-SNAPSHOT"
 
 # The Maven repository directory containing VDMJ jars
 MAVENREPO=~/.m2/repository/com/fujitsu