public String toString() {
StringBuffer buf = new StringBuffer();
for (int i = 0; i < numSources(); i++) {
String src = getSource(i);
for (int j = 0; j < numInstances(src); j++) {
Instance inst = getInstance(src, j);
buf.append(inst.toString() + "\n");
}
}
return buf.toString();
}
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;
}