@@ -0,0 +1,1355 @@
+package ibis.satin;%0A%0Aimport ibis.ipl.SendPortIdentifier;%0Aimport java.util.Vector;%0A%0Aclass MsgStats %7B%0A%0A    Vector%09remotePortHash = new Vector();%0A    int%5B%5D%09upcall;%0A    int%5B%5D%09upcallRequest;%0A    int%5B%5D%09upcallReply;%0A    int%5B%5D%09upcallResult;%0A%0A    Vector%09localPortHash = new Vector();%0A    int%5B%5D%09sendRequest;%0A    int%5B%5D%09sendReply;%0A    int%5B%5D%09sendResult;%0A%0A    int%5B%5D%09sent;%0A    int%5B%5D%09received;%0A%0A    private int%5B%5D realloc(int%5B%5D a, int n) %7B%0A%09int%5B%5D b = new int%5Bn%5D;%0A%09if (a != null) %7B%0A%09    System.arraycopy(a, 0, b, 0, a.length);%0A%09%7D%0A%09return b;%0A    %7D%0A%0A    void addRemotePort(SendPortIdentifier id) %7B%0A%09if (remotePortHash.contains(id)) %7B%0A%09    return;%0A%09%7D%0A%0A%09remotePortHash.add(id);%0A%0A%09upcall        = realloc(upcall,        remotePortHash.size());%0A%09upcallRequest = realloc(upcallRequest, remotePortHash.size());%0A%09upcallReply   = realloc(upcallReply,   remotePortHash.size());%0A%09upcallResult  = realloc(upcallResult,  remotePortHash.size());%0A%09received      = realloc(received,      remotePortHash.size());%0A    %7D%0A%0A%0A    void addLocalPort(SendPortIdentifier id) %7B%0A%09if (localPortHash.contains(id)) %7B%0A%09    return;%0A%09%7D%0A%0A%09localPortHash.add(id);%0A%0A%09sendRequest = realloc(sendRequest, localPortHash.size());%0A%09sendReply   = realloc(sendReply,   localPortHash.size());%0A%09sendResult  = realloc(sendResult,  localPortHash.size());%0A%09sent        = realloc(sent,        localPortHash.size());%0A    %7D%0A%0A%7D%0A%0A

Add MsgStats.java