Updated HRCoder to fix crash when using JSON encoding