Something probably went wrong with the jmp->exception conversion and now a catch block inside a while block doesn't parse.