small fix in UserProcess.java