Elena: A StateJ to Java translator