Class skeletons with spec comments
java.rmi
Remote.java
RemoteException.java