needed import statement for JSONEncoder