eiffelstudio - Revision 103587: /trunk/Src/library/wel/stddlgs