rem: function formatID(str) 
add: function formatID(str) 
context: function formatID(str) {    return "uuid("+str.substring(1,str.length-1)+")";}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/55a5e5ddbf4a7e9103b995d808c4466085d2123f/nsInterfaceInfoToIDL.js/buggy/extensions/webservices/interfaceinfo/src/nsInterfaceInfoToIDL.js