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 1083)
+++ trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/HTMLLogParser.java	(revision 1084)
@@ -25,4 +25,5 @@
 import de.ugoe.cs.autoquest.eventcore.IEventType;
 import de.ugoe.cs.autoquest.eventcore.guimodel.GUIModel;
+import de.ugoe.cs.autoquest.eventcore.guimodel.GUIModelException;
 import de.ugoe.cs.autoquest.eventcore.guimodel.IGUIElement;
 import de.ugoe.cs.autoquest.plugin.html.eventcore.HTMLEventTypeFactory;
@@ -133,5 +134,11 @@
 
         if (specification != null) {
-            super.getGUIElementTree().add(id, parentId, specification);
+            try {
+                super.getGUIElementTree().add(id, parentId, specification);
+            }
+            catch (GUIModelException e) {
+                throw new SAXException("could not handle GUI element with id " +
+                                       id + ": " + e.getMessage(), e);
+            }
             return true;
         }
@@ -174,15 +181,18 @@
             HTMLEventTypeFactory.getInstance().getEventType(type, parameters, target);
         
-        Event event = new Event(eventType, target);
-
-        String timestampStr = parameters.get("timestamp");
-        
-        if (timestampStr != null) {
-            event.setTimestamp(Long.parseLong(timestampStr));
-        }
-
-        ((HTMLGUIElement) event.getTarget()).markUsed();
-        
-        super.addToSequence(event);
+        if (eventType != null) {
+            Event event = new Event(eventType, target);
+
+            String timestampStr = parameters.get("timestamp");
+        
+            if (timestampStr != null) {
+                event.setTimestamp(Long.parseLong(timestampStr));
+            }
+
+            ((HTMLGUIElement) event.getTarget()).markUsed();
+        
+            super.addToSequence(event);
+        }
+        // else ignore unknown event type
 
         return true;
