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