Java Card PKI (SVN import)