It is discussed some in this thread: let's see if this link works
http://groups.google.com/group/Google-Web-Toolkit/browse_thread/thread/184204844b622067/34a347c50f17d31f?hl=enlnk=gstq=json+%2Bmindlube#34a347c50f17d31f
Basically the first paragraph you quoted, is incorrect at the present
time.
I have been working my way through some of the getting started docs,
and found what I think is a conflict on the page:
http://code.google.com/p/google-web-toolkit-doc-1-5/wiki/GettingStartedJSON
First we have this paragraph:
However, because eval() can execute any JavaScript code (not just JSON