{
rxstart = url.indexOf(DELIM + SEQUENCE_ID + DELIM);
}
- while (rxstart == -1 && url.indexOf("/=" + DELIM) == -1)
+ while (rxstart == -1 && url.indexOf("/=" + DELIM) == -1
+ && st.hasMoreTokens())
{
url = url + SEP + st.nextToken();
}
{
urls.put(DEFAULT_LABEL, new UrlLink(DEFAULT_STRING));
}
+ defaultUrl = DEFAULT_LABEL;
return DEFAULT_LABEL;
}