Raw translation of Java code into Python code.