modified quash.java