rem: return java.lang.System.getProperty("line.separator"); 
add: try { return java.lang.System.getProperty("line.separator"); } catch (e) { return "\n"; } 
context: function NL() {  return java.lang.System.getProperty("line.separator");}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/12f7d715d0cf32c8f7c4df4d2a5bcde102bfe7ce/shell.js/clean/js/tests/e4x/shell.js