jmatch function (match with javaTok) - pattern goes first (unlike jfind). ignores case