ow, the non-capturing group !
yes, this is a good workaround
and indeed saving all groups in an array is even better
(I always tend to think of the Java regex dialect as more primitive and forget that it has some good things too)
the ignore case option should still be added