Index: trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDcompressHTMLLogFiles.java
===================================================================
--- trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDcompressHTMLLogFiles.java	(revision 2215)
+++ trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDcompressHTMLLogFiles.java	(revision 2232)
@@ -72,11 +72,14 @@
         if (directory.isDirectory()) {
             File[] children = directory.listFiles();
-            Arrays.sort(children);
             
-            boolean containsAtLeastOneFile = false;
-            for (File child : children) {
-                compressDirectory(child);
-                
-                containsAtLeastOneFile |= child.isFile();
+        	boolean containsAtLeastOneFile = false;
+            if (children != null) {
+            	Arrays.sort(children);
+
+            	for (File child : children) {
+            		compressDirectory(child);
+
+            		containsAtLeastOneFile |= child.isFile();
+            	}
             }
             
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 2215)
+++ trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDcorrectHTMLLogDirs.java	(revision 2232)
@@ -78,9 +78,12 @@
         if (file.isDirectory()) {
             String[] children = file.list();
-            Arrays.sort(children);
             
-            for (String child : children) {
-                File childFile = new File(file, child);
-                correctDirectory(childFile, mainFolder);
+            if (children != null) {
+            	Arrays.sort(children);
+
+            	for (String child : children) {
+            		File childFile = new File(file, child);
+            		correctDirectory(childFile, mainFolder);
+            	}
             }
         }
Index: trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDdeleteHTMLQueries.java
===================================================================
--- trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDdeleteHTMLQueries.java	(revision 2215)
+++ trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDdeleteHTMLQueries.java	(revision 2232)
@@ -71,6 +71,8 @@
             File[] children = directory.listFiles();
             
-            for (File child : children) {
-                deleteHTMLQueriesInDirectory(child);
+            if (children != null) {
+                for (File child : children) {
+                    deleteHTMLQueriesInDirectory(child);
+                }
             }
         }
Index: trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDparseDirHTML.java
===================================================================
--- trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDparseDirHTML.java	(revision 2215)
+++ trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDparseDirHTML.java	(revision 2232)
@@ -130,9 +130,12 @@
         if (file.isDirectory()) {
             String[] children = file.list();
-            Arrays.sort(children);
             
-            for (String child : children) {
-                File childFile = new File(file, child);
-                parseFile(childFile, parser);
+            if (children != null) {
+            	Arrays.sort(children);
+
+            	for (String child : children) {
+            		File childFile = new File(file, child);
+            		parseFile(childFile, parser);
+            	}
             }
         }
Index: trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDpseudomizeHTMLTextInputs.java
===================================================================
--- trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDpseudomizeHTMLTextInputs.java	(revision 2215)
+++ trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDpseudomizeHTMLTextInputs.java	(revision 2232)
@@ -88,7 +88,9 @@
             File[] children = directory.listFiles();
             
-            for (File child : children) {
-                pseudomizeTextInputsInDirectory
-                    (child, pseudomizeSearchInputs, pseudomizeFileInputs);
+            if (children != null) {
+            	for (File child : children) {
+            		pseudomizeTextInputsInDirectory
+            		(child, pseudomizeSearchInputs, pseudomizeFileInputs);
+            	}
             }
         }