> What happens if you remove end_params_node from the Java front-end and
> replace it with void_list_node?

Sadly, nothing.

Reply via email to