Update IMP Theory Questions in Java