A translator from Python to Java