eiffelstudio-public - Revision 107750: /branches/FreeELKS_history/model_based_contracts/library/refactoring