I'm developing a test for some hundreds of regex I have to manage in Android. I encountered a catastrophic backtracking I cannot prevent, (i.e., the matcher enters an exponential complexity and it seems it is in an infinite loop, while, in reality, it is exploring a very huge number of possible matches), so I need to limit the overall execution of the matching using a timeout.I'm developing a test for some hundreds of rege