// make sure there is a Darkstar server available
if (getDetails().getDarkstarServers() == null ||
getDetails().getDarkstarServers().size() == 0)
{
throw new ServerUnavailableException("No running Darkstar " +
"server found for " + getDetails().getServerURL());
}
// choose a Darkstar server to connect to
DarkstarServer ds = getDetails().getDarkstarServers().get(0);