@EverythingIsNonnullByDefault

Package owl.automaton.acceptance.degeneralization