java_pop_buffer_state  312 htags/java.c   void java_pop_buffer_state (void );
java_pop_buffer_state 1942 htags/java.c   		java_pop_buffer_state();