Update PostScript.java