further work on OTP.java