Because the lock/unlock functions of the Monitor interface aren't nothrow. IMO they should be, but it could break code. Maybe we can find a way to deprecate the missing nothrow.