On Sat, Nov 26, 2022 at 9:41 AM Zopolis0 <creatorsmith...@gmail.com> wrote: > > > What happens if you remove end_params_node from the Java front-end and > > replace it with void_list_node? > > Sadly, nothing.
But that looks like the correct thing to do.