public void dump() throws RemoteException { int num_ins = instances.size(); System.out.println(getServerName() + ":"); for (int i = 1; i <= num_ins; i++) { Instance tmp = instances.get(i); System.out.println(i + ": " + tmp.toString()); } return; }