--- a/flys-backend/src/main/java/de/intevation/flys/importer/parsers/PRFParser.java	Fri Jul 15 14:33:12 2011 +0000
+++ b/flys-backend/src/main/java/de/intevation/flys/importer/parsers/PRFParser.java	Fri Jul 15 15:36:59 2011 +0000
@@ -1,7 +1,6 @@
 package de.intevation.flys.importer.parsers;
 
 import java.util.Map;
-import java.util.Stack;
 import java.util.TreeMap;
 import java.util.List;
 import java.util.ArrayList;
@@ -20,6 +19,8 @@
 
 import de.intevation.flys.importer.XY;
 
+import de.intevation.flys.utils.FileTools;
+
 public class PRFParser
 {
     private static Logger log = Logger.getLogger(PRFParser.class);
@@ -383,33 +384,24 @@
         description = null;
     }
 
-    public void parsePRFs(File root, Callback callback) {
-
-        Stack<File> stack = new Stack<File>();
-        stack.push(root);
+    public void parsePRFs(File root, final Callback callback) {
 
-        while (!stack.empty()) {
-            File file = stack.pop();
-            if (file.isDirectory()) {
-                File [] files = file.listFiles();
-                if (files != null) {
-                    for (File f: files) {
-                        stack.push(f);
+        FileTools.walkTree(root, new FileTools.FileVisitor() {
+            @Override
+            public boolean visit(File file) {
+                if (file.isFile()
+                && file.getName().toLowerCase().endsWith(".prf")
+                && (callback == null || callback.prfAccept(file))) {
+                    reset();
+                    boolean success = parse(file);
+                    log.info("parsing " + (success ? "succeeded" : "failed"));
+                    if (success && callback != null) {
+                        callback.prfParsed(PRFParser.this);
                     }
                 }
+                return true;
             }
-            else if (file.isFile()
-                && file.getName().toLowerCase().endsWith(".prf")
-                && (callback == null || callback.prfAccept(file))
-            ) {
-                reset();
-                boolean success = parse(file);
-                log.info("parsing " + (success ? "succeeded" : "failed"));
-                if (success && callback != null) {
-                    callback.prfParsed(this);
-                }
-            }
-        }
+        });
     }
 
     public static void main(String [] args) {