diff --git a/src/tmltranslator/toproverif/TML2ProVerif.class b/src/tmltranslator/toproverif/TML2ProVerif.class
deleted file mode 100644
index 4a8669904af7ec8530779ebcacbd798d9a597657..0000000000000000000000000000000000000000
Binary files a/src/tmltranslator/toproverif/TML2ProVerif.class and /dev/null differ
diff --git a/src/ui/DefaultText.java b/src/ui/DefaultText.java
index 5b8d250b25e6e73c07831dc19b7a5ba6223d9c24..daa4e60cc05b8e2558cf7c9034aa4377b285aaf0 100755
--- a/src/ui/DefaultText.java
+++ b/src/ui/DefaultText.java
@@ -49,7 +49,7 @@ package ui;
 
 public class DefaultText  {
 
-    public static String BUILD = "11777";
+    public static String BUILD = "12377";
     public static String DATE = "2016/01/25 16:42:36 CET";
     
     
@@ -60,7 +60,7 @@ public class DefaultText  {
     }
     
     public static String getVersion() {
-        return "0.98-beta3"; /* Set new release May 28th, 2015 */
+        return "0.98-beta4"; /* Set new release Feb. 19th, 2016 */
     }
     
     public static String getFullVersion() {