Code Editor : gen-javahl-errors.py