Moved to bison 3.0, which has java push parsing builtin