Removed karel.json