added support for '//'-style comments to JSON parser