Perfect, thank you. It turns out that the /etc/hosts file has 127.0.1.1 set as the default address for the host name. It looked like this:
127.0.0.1 localhost
127.0.1.1 TOR-Linux00
Correcting the second line solved the problem.
[Message sent by forum member 'kdeanddd' (kdeanddd)]
http://forums.java.net/jive/thread.jspa?messageID=331640