updated Kernel.java....again....