Added Kernel.setArgs with more arguments