Some JSON beautifiers put spaces between identifier and value.
This is necessary to tolerate that.

Signed-off-by: Fabian Bläse <[email protected]>
Reviewed-by: Tim Niemeyer <[email protected]>