fix occasional null exception in server parsing

maploader.getContents() sometimes returns null. Now it uses the contents
given by the parameter. This should also speed up the server list
loading.