generate_specenum.py: File not closed if exception occurs
Code scanner warns about generate_specenum,py not closing 'output' if exception occurs.
Code scanner warns about generate_specenum,py not closing 'output' if exception occurs.