Rename json.bnf to Json.bnf