Revised the sample code ADTest.java to match the newest version
of JAutoDiff.