EiffelSoftware Open Source/Namespaces