Java frontend: Fixed small bug in translation of unannotated methods which throw exceptions
Java frontend: Fixed small bug in translation of unannotated methods which throw exceptions

willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast