*/
public void atEndOfFile() {
if (!anon.isEmpty()) {
Iterator<AResource> it = anon.iterator();
while (it.hasNext()) {
AResource a =
it.next();
System.err.print(a.getAnonymousID() + ", ");
if (ARPResource.DEBUG) {
RuntimeException rte = (RuntimeException)a.getUserData();
// throw rte;
rte.printStackTrace();
}
}
}