java_restart       21 htags/java.c   #define yyrestart java_restart
java_restart      157 htags/java.c   #define YY_NEW_FILE java_restart(java_in  )
java_restart      306 htags/java.c   void java_restart (FILE *input_file  );
java_restart     1212 htags/java.c   			java_restart(java_in  );
java_restart     1379 htags/java.c   					java_restart(java_in );