Bug in translation of Java program with parameters modified within the program and then returned. Returned value was referring, in the translation, to the original value of the parameter, instead of the modified one. Bug repaired by mffrias.