Generated by
JDiff

Interface java.rmi.activation.ActivationMonitor

Documentation changed from old to new.