manager/ ARMIS Manager Applet dist/ - destination directory for CAP, EXP and JAR files of the built Java Card package src/ - Java source files build.xml - an Ant build script for building the applet ...