org.eclipse.uml2.uml.tests.PropertyTest.testSetRealDefaultValue__double (from org.eclipse.uml2.uml.tests.UMLAllTests)