function Protocols (protocols) { 
var Protocols = function (protocols) { 
function Protocols (protocols) {    var name, Fun = function () {this.initialize.apply(this, arguments)};    for (var i=0, L=protocols.length; i<L; i++)        for (name in protocols[i])             Fun.prototype[name] = protocols[i][name];    return Fun;} // the only OO convenience you need in JavaScript: 7 lines.
9223	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9223/1edb04aa3297d300f1d4b2221b74ec7b7c81be67/protocols.js/clean/app/127.0.0.2/root/protocols.js