A converter for converting Java Card CAP files to JAR files