replace orig jslint.js with rewritten re.js