Fixed small bug on LCManager.hasValidProof(...). It would return 'false' if at least one of the messages was invalid.

.class and .jar files already udpated within this commit.

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

Update NettyClientServerCommunicationSystemClientSide.java

Fixed quorum size computation

Fixed a bug related with unreleased Netty thread resources at the client side.

The division between two integers returns an integer (loss of precision) thus giving incorrect results for the quorum size.

Fixed a bug in the AsynchServiceProxy class that would case a race condition between the client and the servers: the client would store its sequence number after sending its requests, but if the servers responded quickly enough for the client to parse the replies before storing the sequence number, the messages would be discarded.

Also edited a logging message and added another one.

Update workload parameters

Update ycsbClient.sh

Do not panic! I only added descriptions in the comments' header for each of these classes. Also removed a few unnecessary 'import's.

Fixed bug in initialization, which would make replicas always select replica 0 as the leader, regardless if it was part of the view or not.

Performed refractors on a few variables that are of the type 'CertifiedDecision', so that nomenclature becomes consistent.