Update Theseus.java