@EverythingIsNonnullByDefault

Package owl.automaton.minimizations