Index: trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDcorrectHTMLLogDirs.java
===================================================================
--- trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDcorrectHTMLLogDirs.java	(revision 2232)
+++ trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDcorrectHTMLLogDirs.java	(revision 2233)
@@ -133,7 +133,6 @@
                         Console.println("moved "  + file + " to " + destination);
 
-                        if ((file.getParentFile().list() == null) ||
-                            (file.getParentFile().list().length == 0))
-                        {
+                        String[] children = file.getParentFile().list();
+                        if ((children == null) || (children.length == 0)) {
                             if (file.getParentFile().delete()) {
                                 Console.println("removed directory "  + file.getParentFile());