A simple Java tool to ping a list of servers