Using ESCJava2 for Amount Program: Please check each commit to understand how to apply the checker and modifications. The Java version should be below 1.5 (make sure to set the JAVA_HOME environment variable to the JDK 1.5 directory). Use the command line tool to access the ESCJava2 directory at C:ESCJava2 as the top-level directory, or modify the escj.bat file (ESCJAVA_ROOT). Launch the static checker with escj Amount.java. Feel free to use, but avoid just copying/pasting. Liu Cheng