Update CexIO.java