Update jjTimeout.java