FileFilterにすればいいじゃん、って、ああ、java.io.FileFilterと重なるのが
いやんなのね。パッケージ分けて気にしないというのも手だけど、ディレクトリだけ
を通すのがDirectoryFilterなら、NormalFileFilterとかどうなんだろう。

でも、この名前だと、「ディレクトリ以外」という名前じゃないから、
デバイスとかリンクとかの扱いに困るな。じゃぁ、NonDirectoryFilterか?