Created stubs for handle*() in UserProcess.java