Small changes to a few demo clients, mainly to invoke the ServiceProxy.close().

src/bftsmart/demo/bftmap/BFTMapClientCloudFIT.java

@@ -30,7 +30,7 @@ public class BFTMapClientCloudFIT {
 	public static void main(String[] args) throws NumberFormatException	{
 		if(args.length < 4)
 		{
-			System.out.println("Usage: java KVClients <number clients> <process id base> <time for running (sec)");
+			System.out.println("Usage: java KVClients <number clients> <process id base> <time for running (sec)>");
 			System.exit(-1);
 		}
 

src/bftsmart/demo/counter/CounterClient.java

@@ -26,6 +26,7 @@ import java.io.InputStreamReader;
 
 import bftsmart.tom.ServiceProxy;
 import bftsmart.tom.util.Logger;
+import java.util.logging.Level;
 
 /**
  * Example client that updates a BFT replicated service (a counter).
@@ -102,7 +103,6 @@ public class CounterClient {
             result = 1;
         } finally {
             counterProxy.close();
-            System.exit(result);
         }
     }
 }

src/bftsmart/demo/listvalue/LVClient.java

@@ -24,8 +24,7 @@ public class LVClient {
 
 	public static void main(String[] args) {
 		if (args.length < 2) {
-			System.out
-					.println("Usage: java BFTMapInteractiveClient <process id> <use readonly?>");
+			System.out.println("Usage: java BFTMapInteractiveClient <process id> <use readonly?>");
 			System.exit(-1);
 		}
 

src/bftsmart/demo/microbenchmarks/ThroughputLatencyClient.java

@@ -79,8 +79,7 @@ public class ThroughputLatencyClient {
             }
         }
 
-        
-        System.exit(0);
+        System.out.println("All clients done.");
     }
 
     static class Client extends Thread {
@@ -175,7 +174,7 @@ public class ThroughputLatencyClient {
                 System.out.println(this.id + " // Maximum time for " + numberOfOps / 2 + " executions (all samples) = " + st.getMax(false) / 1000 + " us ");
             }
             
-            //proxy.close();
+            proxy.close();
         }
     }
 }