Fixing port for clustering.

Change-Id: I0d0893f3ba32fae5c690603bd074f79f5ec6b3f4
diff --git a/tools/dev/bin/onos-setup-karaf b/tools/dev/bin/onos-setup-karaf
index 19a7879..da63445 100755
--- a/tools/dev/bin/onos-setup-karaf
+++ b/tools/dev/bin/onos-setup-karaf
@@ -100,8 +100,8 @@
 EOF
 
 cat > $STAGE/config/tablets.json <<EOF
-    { "nodes": [ { "ip": "$IP", "id": "$IP", "tcpPort": 7238 }],
-      "partitions": { "p1": [ { "ip": "$IP", "id": "$IP", "tcpPort": 7238 }]}}
+    { "nodes": [ { "ip": "$IP", "id": "$IP", "tcpPort": 9876 }],
+      "partitions": { "p1": [ { "ip": "$IP", "id": "$IP", "tcpPort": 9876 }]}}
 EOF
 
 echo "Setting up hazelcast.xml for subnet $SUBNET.*..."