minor change in DumpCat.java.