rem: this.name = name; this.displayName = this.name; this.prettyName = this.name; 
add: this.unicodeName = name; this.viewName = name; this.canonicalName = name; this.encodedName = name; this.prettyName = this.unicodeName; 
context: function PrefServer(parent, name){    this.parent = parent;    this.name = name;    this.displayName = this.name;    this.prettyName = this.name; // Not used, thus not localised.    this.channels = new Object();    this.users = new Object();    this.parent.servers[name] = this;    return this;};
meta: 1567	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1567/c6101b49aef97cf47069c333c0e54bcdd4a66616/config.js/buggy/xul/content/config.js