Undone modification done in commit 2079febd...

Undone modification done in commit 2079febd (it would make the protocol incorrect)

src/bftsmart/reconfiguration/ServerViewController.java

@@ -304,8 +304,8 @@ public class ServerViewController extends ViewController {
                 }
             }
 
-            this.quorumBFT = (int) Math.ceil((this.currentView.getN() + this.currentView.getF()) / 2f);
-            this.quorumCFT = (int) Math.ceil(this.currentView.getN() / 2f);
+            this.quorumBFT = (int) Math.ceil((this.currentView.getN() + this.currentView.getF()) / 2);
+            this.quorumCFT = (int) Math.ceil(this.currentView.getN() / 2);
         } else if (this.currentView != null && this.currentView.isMember(getStaticConf().getProcessId())) {
             //TODO: Left the system in newView -> LEAVE
             //CODE for LEAVE