Just in case this helps…
I couldn’t get the GPS module to work using the Eclipse IDE so I reverted to using the Arduino IDE (flashed firmware first). Still didn’t work. Compared the Arduino example sketch gps_test with the hello_world example on the Wiki page. The gps_test uses the Serial1.print() function. The hello_world uses the Serial.print() function. So changed all the Serial1 to Serial. It now works.
(I’ll get back to Eclipse after I’ve done a bit of reading - not getting this Event-driven Programming Model at all.)