If multiple J-Links with IP support are used, they can be selected with different ports. The actual implementation is just using the default port. Make the port selectable with <ip>:<port>. Signed-off-by: Michael Arnold <marnold@baumer.com>