use indentation size as JSON format parameter, default to a size 4