Update and rename AFDTest.java to AFNDforAFDTest.java