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 1103)
+++ trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDparseDirHTML.java	(revision 1178)
@@ -74,5 +74,5 @@
         
         for (String filename : files) {
-            String source = absolutPath + "/" + filename;
+            String source = absolutPath + File.separator + filename;
             Console.traceln(Level.INFO, "Processing file: " + source);