id1 = system.activate_object(servant1);
id2 = system.activate_object(servant2);
// deactivate the servants now
// no request is pending
system.deactivate_object(id2);
system.deactivate_object(id1);
// now again try to deactivate
// I would expect ObjectNotActive Exception but didn't get one
try