python. Small fixes to lang and java translator, #137.