Extract LedgerToJson.h