Update OTPdec.java