[CLEANUP] Silence warnings about Generics from jAutomata.