Passed

org.eclipse.gef.dot.tests.DotEditorDoubleClickingTests.other_attributes_equals_sign_throws_no_exception (from org.eclipse.gef.dot.tests.AllUiTests)