OCL specifications for Java Card API
java.rmi
Remote.txt
RemoteException.txt