Delete jec_gen.py.orig