Update CexIOAdapters.java