EiffelNetSSL in complete void safety.
Updated code, removed unused variables.
Update ecf files.