Tiny Java regex library