Descrição: O construtor de TicketMachine não valida se o valor do ticket é negativo, o que pode levar a comportamentos inesperados.

Link: [Linha 15 do arquivo TicketMachine.java]

Label: defect:init