// proceeding?
if (auid == null) {
starInfo = vsxConnector.getAUID(vsxConnection, starName);
auid = starInfo.getAuid();
if (auid == null) {
throw new UnknownStarError(starName);
}
}
// No, do we need instead to ask for the star name because
// we have an AUID but no star name?