JAVA 中缺少 JSON（来自 Javascript 对象）的引号

问：

我有一个 Java 应用程序，它从服务器接收一个非常大的“Javascript 对象”（类似于 JSON 格式）（+30k 个字符）。

源语言：

  String json ={  
   ok=true,
   data=   {  
      key1=1.0,
      key2=      [  
         1.5,
         1.5,
         1.5
      ],
      key3=      [  
         {  
            ts=1.526552846892E12,
            msg="random_message"
         },
         {  
            ts=1.526552846892E12,
            msg="random_message"
         }
      ]
   }
};

主要问题是，实际上，我收到的是这样的东西：

  String json ={  
   ok=true,
   data=   {  
      key1=1.0,
      key2=      [  
         1.5,
         1.5,
         1.5
      ],
      key3=      [  
         {  
            ts=1.526552846892E12,
            msg=random_message
         },
         {  
            ts=1.526552846892E12,
            msg=random_message
         }
      ]
   }
};

请注意，我“丢失”了 msg 上的引号。

这样做的主要问题是我无法使用 JSONObject 解析 JSON，因为它无法读取这种“不正确”的格式。

更新：

忽略我收到“损坏的对象”的问题，我遇到了无法解析它的问题，因为它是一个 JS 对象（不是纯 JSON）。

在键和字符串值中添加双引号的最佳方法是什么？

格式化的 JSON 示例：

String json ={  
   "ok":true,
   "data":   {  
      "key1":1.0,
      "key2":      [  
         1.5,
         1.5,
         1.5
      ],
      "key3"=      [  
         {  
            "ts":1.526552846892E12,
            "msg":"random_message"
         },
         {  
            "ts":1.526552846892E12,
            "msg":"random_message"
         }
      ]
   }
};