用Java对JSON字符串进行格式化输出