Calling out Java for this issue is BS. Java doesn't allow unreachable code. If Java had a 'goto' instruction, that code wouldn't compile because the latter code was unreachable.

The article is poorly researched rahrah for Eiffel. Eiffel is a good language, but not for the reasons the author states.