make the HTML-output of the REST servlet JSON-compatible.
Merge pull request #292 from vigorouscoding/master

make the HTML output of the REST servlet JSON-compatible.