char tag [10];
char tag [11];
java_parse_doc_section (c)     unicode_t c;{  int valid_tag = 0, seen_star = 0;  while (JAVA_WHITE_SPACE_P (c) || (c == '*') || c == '\n')    {      switch (c)	{	case '*':	  seen_star = 1;	  break;	case '\n': /* ULT */	  valid_tag = 1;	default:	  seen_star = 0;	}      c = java_get_unicode();    }    if (c == UEOF)    java_lex_error ("Comment not terminated at end of input", 0);    if (seen_star && (c == '/'))    return 1;			/* Goto step1 in caller */  /* We're parsing @deprecated */  if (valid_tag && (c == '@'))    {      char tag [10];      int  tag_index = 0;      while (tag_index < 10 && c != UEOF && c != ' ' && c != '\n')	{	  c = java_get_unicode ();	  tag [tag_index++] = c;	}            if (c == UEOF)	java_lex_error ("Comment not terminated at end of input", 0);            java_unget_unicode ();      tag [tag_index] = '\0';      if (!strcmp (tag, "deprecated"))	ctxp->deprecated = 1;    }  return 0;}