Bug fixes in ServerPing.java