-- RemoteException extends IOException

-- import java.io.*;


package java::rmi



context RemoteException::RemoteException()
  pre : true
  post: true



endpackage