Fixed bug in prooftype parameter

src/bftsmart/reconfiguration/util/Configuration.java

@@ -189,8 +189,8 @@ public class Configuration {
             }
             
             s = (String) configs.remove("system.totalordermulticast.prooftype");
-            if(s == null || !s.equalsIgnoreCase("macvector") || !s.equalsIgnoreCase("signatures")){
-                proofType = "macvector";
+            if(s == null || (s != null && !s.equalsIgnoreCase("macvector"))){
+                proofType = "signatures";
             }else{
                 proofType = s;
             }