objc-frameworks-to-eiffel-converter - Revision 3: /source/objc_wrapper/spec