OSDN Git Service

* java-tree.h (push_labeled_block, pop_labeled_block): Remove.