Get rid of null annotations; don't really work with event-driven code
Main