JS backend: remove frivolous 'final' for parameters.