Patching a collection element at a position greater than 9 fails

When applying a json/patch operation to replace an attribute of an entity in an indexed collection through Spring Data Rest, the operation fails if the collection element is at index 10 or greater.

The issue appears to arise in method

SpelPath.TypedSpelPath.verifyPath(String path, Class<?> type)

and it appears to be in this part of the path source filtering expression:

...
.filter(it -> !it.matches("\\d")) // no digits
...

The fix that seems to resolve the issue is:

...
.filter(it -> !it.matches("\\d+")) // no digits
...