Update Pretty.java