paranoiacblack/Obfuscated-OS — comment on commit 935262e06b08f1614e881d017884963289df668e
File: nachos/userprog/UserProcess.java line 404
By danlangridge:

Redundant I think, close already does this