(anycasting? anycast_mbrs : destination) + ", sync=" + sync + ", oob=" + oob + ", anycasting=" + anycasting);
RequestOptions options=new RequestOptions(Request.GET_ALL, 0, anycasting, null);
if(sync) options.setFlags(Message.DONT_BUNDLE);
if(oob) options.setFlags(Message.OOB);
if(anycasting)
<BUG>disp.callRemoteMethods(anycast_mbrs, new MethodCall((short)0, new Object[]{num_msgs}), options);
</BUG>
else
<BUG>disp.callRemoteMethod(destination, new MethodCall((short)0, new Object[]{num_msgs}), options);
</BUG>
options.setMode(sync? Request.GET_ALL : Request.GET_NONE);

(anycasting? anycast_mbrs : destination) + ", sync=" + sync + ", oob=" + oob + ", anycasting=" + anycasting);
RequestOptions options=new RequestOptions(Request.GET_ALL, 0, anycasting, null);
if(sync) options.setFlags(Message.DONT_BUNDLE);
if(oob) options.setFlags(Message.OOB);
if(anycasting)
disp.callRemoteMethods(anycast_mbrs, new MethodCall(START, num_msgs), options);
else
disp.callRemoteMethod(destination, new MethodCall(START, num_msgs), options);
options.setMode(sync? Request.GET_ALL : Request.GET_NONE);
