case '7':
setNumMessages();
break;
case '8':
setMessageSize();
<BUG>break;
case 'o':</BUG>
oob=!oob;
System.out.println("oob=" + oob);
break;

case '7':
setNumMessages();
break;
case '8':
setMessageSize();
break;
case '9':
setAnycastCount();
break;
case 'o':
oob=!oob;
System.out.println("oob=" + oob);
break;
