modify indexavl.java