--zip option for 'play war' command causes error

[Andrew Louth]

when using the --zip option with the 'play war' command, I see the following error:

Traceback (most recent call last):
  File "/usr/local/play-1.1-beta2/play", line 106, in <module>
    cmdloader.commands[play_command].execute(command=play_command, app=play_app, args=remaining_args, env=play_env, cmdloader=cmdloader)
  File "/usr/local/play-1.1-beta2/framework/pym/play/commands/war.py", line 37, in execute
    package_as_war(app, env, war_path, war_zip_path)
  File "/usr/local/play-1.1-beta2/framework/pym/play/utils.py", line 157, in package_as_war
    zip = zipfile.ZipFile(war_zip_path, 'w', zipfile.ZIP_STORED)
NameError: global name 'zipfile' is not defined

One way to fix this is to include 'import zipfile' at the start of file framework/pym/play/utils.py, however my knowledge of python is not sufficient to recognise whether or not this issue is hiding a larger problem.