rem: document.title = getMsg(opener.MSN_FLOATER_TITLE, ary.join(opener.MSG_COMMASP)); 
add: var views = ary.join(opener.MSG_COMMASP); if (views == "") views = opener.MSG_VAL_NONE;  document.title = getMsg(opener.MSN_FLOATER_TITLE, views); 
context: function updateTitle(){    var ary = new Array();        for (v in containedViews)        ary.push(containedViews[v].caption);    document.title = getMsg(opener.MSN_FLOATER_TITLE,                            ary.join(opener.MSG_COMMASP));}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/b0b8cec04bd582c27a41817979fe87561132d01d/venkman-floater.js/buggy/extensions/venkman/resources/content/venkman-floater.js