org.eclipse.uml2.uml.bug.tests.Bug403374Test.testEDataTypeNonAPIInvariant (from org.eclipse.uml2.uml.tests.UMLAllTests)
![[Jenkins]](/uml2/static/383bdcfc/images/svgs/logo.svg){kind=logo}
