fix future deprecated method addViolationAt()