Update code to latest Eiffel standard.
Update code to latest Eiffel standard.
Fix case where attacker can replace uploaded file.
Update code to latest Eiffel standard.
Update code to latest Eiffel standard.
Modernise Eiffel code.
Modernise Eiffel code.