org.eclipse.uml2.uml.tests.ExtensionEndTest.testSetIsNavigable__boolean (from org.eclipse.uml2.uml.tests.UMLAllTests)