java__switch_to_buffer   15 htags/java.c   #define yy_switch_to_buffer java__switch_to_buffer
java__switch_to_buffer  307 htags/java.c   void java__switch_to_buffer (YY_BUFFER_STATE new_buffer  );
java__switch_to_buffer 1707 htags/java.c   	java__switch_to_buffer(b  );