python. Defaults and immutable types in java translator, #79.