org.eclipse.uml2.uml.tests.BehaviorExecutionSpecificationTest.testHasValue__Stereotype_String (from org.eclipse.uml2.uml.tests.UMLAllTests)