Brians changes directly to mips2java.tex
drwxr-xr-x - doc