How do I change the name and the ports of the license server?

You can change your port number in the license file without the need for HighTec to validate this change. The same goes for the hostname, but not the host ID.
In the license file, it looks like this:
# License server information
HOST ThinkPad-x 28dxxxxxxxxx 5053
ISV hightec-rt port=6004

Under the HOST-line you can; change hostname (ThinkPad x), not host ID (28dxxx), and port number (5053).