(note about ecf version 1-10-0 void_safety="all" <--> 1-11-0 void_safety="transitional" 1-10-0 void_safety="all" <--- 1-11-1 void_safety="all" )
Note that EWF does now require EiffelStudio 7.2, and is compiling with 7.3