Fixing invalid JSON produced by jul2json