[WFLY-3237] don't set the push to servers flag for unchanged operations