java__delete_buffer   10 htags/java.c   #define yy_delete_buffer java__delete_buffer
java__delete_buffer  309 htags/java.c   void java__delete_buffer (YY_BUFFER_STATE b  );
java__delete_buffer 1620 htags/java.c   	java__delete_buffer(YY_CURRENT_BUFFER );
java__delete_buffer 1940 htags/java.c   		java__delete_buffer(YY_CURRENT_BUFFER  );