python. Small bug fixes in java translator.