Update Kaffe.java