Modify util.java.