Java to Python translator