Merge KernelLaunch.java