uploaded revision to UserKernel.java