1) Fixed a bug in JsonLint tool