Class skeletons with spec comments
javacard.framework.service
BasicService.java
CardRemoteObject.java
Dispatcher.java