jQuery Grid Plugin - jqGrid

I noticed a difference in the json format that jqgrid uses and the one I see (and have used) as an example at the "official" json site:

http://www.json.org/example.html

The difference is subtle but important.  In "standard" json the format is something like:

{"menu": {
  "id": "file",
  "value": "File",
  "popup": {
    "menuitem": [
      {"value": "New", "onclick": "CreateNewDoc()"},
      {"value": "Open", "onclick": "OpenDoc()"},
      {"value": "Close", "onclick": "CloseDoc()"}
    ]
  }
}}

In jqgrid you expect:

{menu: {
  id: "file",
  value: "File",
  popup: {
    menuitem: [
      {value: "New", onclick: "CreateNewDoc()"},
      {value: "Open", onclick: "OpenDoc()"},
      {value: "Close", onclick: "CloseDoc()"}
    ]
  }
}}

In this case, jqgrid doesn't have quotes around the lefthand argument. 

That causes me problems because I use flexjson in my java code to properly 

format my java POJO's into a json string and the format that jqgrid uses is 

not the same as the "standard" json. 

Perhaps a parameter in the jsonReader setting to tell the reader to expect

quotes around the left hand arguments and some code to handle it would be 

a good idea.  Something like "jsonQuoted: true" in the jsonreader.  If I was 

more familiar with Javascript I might be able to make the change myself. It 

*would* make it "json standards" compliant I think. 

Just a suggestion