A regexp library for Java