Header of the Python file

	modificato:   easyjson.py