Update tenlua.java