Jocelyn comments (refs #27)
Update to EiffelStudio 7.3 and EWF 0.3 (refs #27)