New class in tools: RegexFileFilter, a convenient FileFilter based on regex, amazingly java doesn't provide this!