Index: /trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/HTMLLogParser.java
===================================================================
--- /trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/HTMLLogParser.java	(revision 1265)
+++ /trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/HTMLLogParser.java	(revision 1266)
@@ -126,4 +126,5 @@
                     ((HTMLDocumentSpec) document.getSpecification(), tagName,
                      parameters.get("htmlid"), index);
+                
             }
             else if (parentId == null) {
@@ -284,4 +285,14 @@
      */
     private boolean tagNameMustBeConsidered(String tagName) {
+        if (!tagName.startsWith("input_")) {
+            for (int i = 0; i < tagName.length(); i++) {
+                // all known HTML tags are either letters or digits, but nothing else. Any GUI model
+                // containing something different is proprietary and, therefore, ignored.
+                if (!Character.isLetterOrDigit(tagName.charAt(i))) {
+                    return false;
+                }
+            }
+        }
+        
         return
             !"head".equals(tagName) && !"title".equals(tagName) && !"script".equals(tagName) &&
@@ -290,5 +301,5 @@
             !"option".equals(tagName) && !"tt".equals(tagName) && !"br".equals(tagName) &&
             !"colgroup".equals(tagName) && !"col".equals(tagName) && !"hr".equals(tagName) &&
-            !"param".equals(tagName);
+            !"param".equals(tagName) && !"sfmsg".equals(tagName);
 
     }