Mirror of source code of EiffelStudio located at https://svn.eiffel.com/eiffelstudio/trunk