Brians changes directly to mips2java.tex