Util.java implementation and corresponding changes in GenFunc.java