more addition to fuzz.java