Added a port property in the Server class, although we are not using it for now