ignore generated html file from eclipse plugin