Generated by
JDiff

Interface java.rmi.server.RMIFailureHandler

Documentation changed from old to new.