[WFLY-2476] Work around instability in 7.1.2 server restart op