Calvin Java translator