Tried playing with version 1.2 and 1.3

In both 1.2& 1.3 this works:
       System.out.println("test= " +
matchRegexp("12345678901234567890123456789012345678901234567890" +
"12345678901234567890123456789012345678901234567890" +
"12345678901234567890123456789012345678901234567890" +
"12345678901234567890123456789012345678901234567890" +
"12345678901234567890123456789012345678901234567890", "^.{0,250}$"));

in 1.2 this return true.. in 1.3 it stalls :
       System.out.println("test= " +
matchRegexp("12345678901234567890123456789012345678901234567890" +
"12345678901234567890123456789012345678901234567890" +
"12345678901234567890123456789012345678901234567890" +
"12345678901234567890123456789012345678901234567890" +
"123456789012345678901234567890123456789012345678901", "^.{0,250}$"));

in both versions this stalls :
       System.out.println("test= " +
matchRegexp("12345678901234567890123456789012345678901234567890" +
"12345678901234567890123456789012345678901234567890" +
"12345678901234567890123456789012345678901234567890" +
"12345678901234567890123456789012345678901234567890" +
"1234567890123456789012345678901234567890123456789012", "^.{0,250}$"));


Making the regex ^.{0,15}$ returns false in both versions.

Looks like the bigger the second value in the regex is the longer it takes,
250 stalls and I have to test 0,2000 ...