===== 8.1 Java Card Platform RMI =====

This section defines the subset of the RMI system that is supported by Java Card platform RMI.