Somewhat enhanced java.util.regex of Java7