Reproducer for @Ignore not taking effect in subclasses.