rem: function updateProfileName( aTextFieldElement ) 
add: function updateProfileName() 
context: function updateProfileName( aTextFieldElement ){  if( detect ) {    var folderDisplayElement = document.getElementById( "ProfileDir" );    var rootFolder = folderDisplayElement.getAttribute( "rootFolder" );    dump("*** rootFolder = " + rootFolder + "\n");    var stringValue = rootFolder + aTextFieldElement.value;    folderDisplayElement.setAttribute( "value", stringValue );  }}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/54958006d1c908c856adabbdc8bc658d1385f3f6/newProfile1_2.js/buggy/profile/resources/content/newProfile1_2.js