Implemented PingServer in Server.java.

Pretty trivial, but it fixes a compile error...