add: str = str.replace( />/g, "&gt;" ); str = str.replace( /\'/g, "&apos;" ); 
context: function HTMLWriterFilter__flush( str ){    str = str.toString();    str = str.replace( /&/g, "&amp;" );     str = str.replace( /</g, "&lt;" );     str = str.replace( /\"/g, "&quot;" );     str = str.replace( /\n/g, "<br>" );    this.mWriter._flush( str );}
meta: 1373	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1373/978cbd9025eba39393b82abd27beeed1ff0bd4d2/JsUtil.js/clean/jsunit/lib/JsUtil.js