test whether jenkins catches this