Update DumpForm.java