Update jex.java