tok_defaultArguments [default arguments for functions, run after most JavaX translations, dev.]