Fix some JavaDocs in Util.java