--- old/test/java/io/pathNames/General.java	2013-03-05 01:14:28.578206049 +0800
+++ new/test/java/io/pathNames/General.java	2013-03-05 01:14:27.984104372 +0800
@@ -127,9 +127,9 @@
         }
         for (int i = 0; i < dl.length; i++) {
             File f = new File(d, dl[i]);
-            if (f.isDirectory() && f.canRead()) {
+            if (f.isDirectory()) {
                 String[] dl2 = f.list();
-                if (dl2.length >= 250) {
+                if (dl2 == null || dl2.length >= 250) {
                     /* Heuristic to avoid scanning huge directories */
                     continue;
                 }