In do_nmethod as part of healing, there is a call to BarrierSetNMethod::arm in a block which has is_armed as a precondition. No code in that block can currently disarm the barrier set, so the call to arm is redundant. It should be removed in favor of an assert which ensures that the precondition is_armed remains true.