small changes in UserProcess.java