Is there any document where the jcf file format for javacard is described ? it seems to be close to ijc file format ( which itself is roughly a concatenation of the various cap components embedded in a global cap file : header.cat , etc ...) but I can't see precisely how the format is defined.
thanks