WFLY-3868 reproducer