edit test/AbvTest.java