Merge pull request #24 from fmrsabino/quorum-fix

Fixed quorum size computation

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()) / 2);
-            this.quorumCFT = (int) Math.ceil(this.currentView.getN() / 2);
+            this.quorumBFT = (int) Math.ceil((this.currentView.getN() + this.currentView.getF()) / 2f);
+            this.quorumCFT = (int) Math.ceil(this.currentView.getN() / 2f);
         } else if (this.currentView != null && this.currentView.isMember(getStaticConf().getProcessId())) {
             //TODO: Left the system in newView -> LEAVE
             //CODE for LEAVE