Problems using serial port (TX and RX)

I think your problem is that the Serial class on the Leonardo only refers to the usb/serial connection. The TX/RX serial pins are controlled by by the Serial1 class.