rem: function writeLn( str ) { document.writeln( str ); } 
add: function writeLn( str ) { str = str.toString(); document.writeln( str.replace( /</g, "&lt;" )); } 
context: 	function writeLn( str ) { document.writeln( str ); }
meta: 8928	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8928/768c9d05d44318954f6a9ac3ebfad030ccd6c207/JsUnitHTML.js/buggy/trunk/jsunit/lib/JsUnitHTML.js