Fixed various void-safety issue with recent compilers.

Note that EWF does now require EiffelStudio 7.2, and is compiling with 7.3