newer JavalibCore for argument conversion