Updated Java pretty-printer to reflect changes

Now that the code is slightly less horrible