RegexWorker = function() {}; 
RegexWorker = function( subject, pattern ) { Matcher.apply(this,[subject,pattern]); console.debug("new RegexWorker(",subject,pattern,")=",this); }; 
RegexWorker = function() {};
10215	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/10215/32f06d47e243f669a34aff8647284be2774a823f/regexpresso.js/buggy/trunk/src/regexpresso.js