Update nachos-sjtu/src/nachos/machine/Coff.java