Generated by
JDiff

Class java.rmi.UnknownHostException

Documentation changed from old to new.