Update SyracuseUtil.java