/** Set temp debug infra */
protected void setInfra(int nr)
{ Infrastructure infra;
switch (nr)
{ case 1 : infra=new SimpleInfra(); break;
case 2 : infra=new LessSimpleInfra(); break;
case 3 : infra=new NetTunnelTest1(); break;
case 4 : infra=new NetTunnelTest2(); break;
default: infra=new Infrastructure(); break;
}