Class skeletons with spec comments
javacardx.crypto
Cipher.java
KeyEncryption.java