PingTool.java now controls pinging rather than PingToolPlayerListener
Merge branch 'master' into command-dev