【转载】JAVA字符串格式化-String.format()的使用