Есть ли документ, в котором описан формат файла jcf для javacard? кажется, что он близок к формату файла ijc (который сам по себе примерно представляет собой объединение различных компонентов шапки, встроенных в глобальный файл кепки: header.cat и т. д.), но я не могу точно понять, как формат определяется.
спасибо