Added ServerInterface.getPlayer(String)