jj_consume_token(COLON);
switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
case MODULE:
case SYMBOL:
decls = RequestedDeclarations();
scope.addHrefImport(this, location, pathinfo, null, decls, false);
added = true;
break;
case STAR:
jj_consume_token(STAR);
scope.addHrefImport(this, location, pathinfo, null, null, true);