Ich habe ein Verzeichnis:

File dir = new File(MY_PATH);

Ich möchte alle Dateien auflisten, deren Name als Ganzzahl-Zeichenfolgen angegeben ist, z. 10, 20.
Ich weiß, ich sollte verwenden:

dir.list(FilenameFilter filter);

Wie definiere ich meineFilenameFilter?

P.S. Ich meine, der Dateiname könnte eine beliebige Ganzzahl sein, z. "10" oder "2000000" oder "3452345". Keine Beschränkung der Anzahl der Stellen, solange der Dateiname eine Ganzzahl ist.