Apparently you can write how many times you want a pattern to be repeated.
This makes the regular expression for strings (java version at least) more readable.
Merge pull request #419 from kframework/string-short-fix

Apparently you can write how many times you want a pattern to be repeated