Initial commit of Java Cards program.