As EiffelNet release is related to EiffelStudio release, the condition "compiler version <= 15.02) is used, which means that before for release 15.01 and previous EiffelStudio releases, the project uses a specific TCP_STREAM_SOCKET, and for upcoming releases, it will use another version of that class). (see rev#96640 from eiffelstudio subversion repository)