1414c1414,1415
<         while (true)
---
>         int counter = 0;
>         while (true && counter++ < 5)
1424,1425c1425,1426
<             {
<                 // Ignored
---
>             {        
> //                throw new INTERNAL(re.getMessage());
1431a1433
>         return false;