Index: /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/jfc/JFCLogParser.java
===================================================================
--- /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/jfc/JFCLogParser.java	(revision 421)
+++ /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/jfc/JFCLogParser.java	(revision 422)
@@ -94,5 +94,6 @@
 	/**
 	 * <p>
-	 * Constructor. Creates a new JFCLogParser.
+	 * Constructor. Creates a new JFCLogParser with a default event filter.
+	 * This ignores focus events, mouse pressed, and mouse released events.
 	 * </p>
 	 */
@@ -100,8 +101,33 @@
 		sequences = new LinkedList<List<JFCEvent>>();
 		currentSequence = new LinkedList<JFCEvent>();
-		setupEventFilter();
-	}
-
-	private void setupEventFilter() {
+		setupDefaultEventFilter();
+	}
+
+	/**
+	 * <p>
+	 * Constructor. Creates a new JFCLogParser with a specific event filter.
+	 * The events in the provided collection are ignored by the parser.
+	 * As events, the constants of the different event classes must be used.
+	 * E.g. creating a collection and putting
+	 * <code>MouseEvent.MOUSE_PRESSED</code> will cause the parser to ignore
+	 * all mouse pressed events. If the provided collection is null, no event
+	 * is ignored.
+	 * </p>
+	 * 
+	 * @param ignoredEvents the events to be ignored by the parser, can be null
+	 */
+	public JFCLogParser(Collection<Integer> ignoredEvents) {
+		sequences = new LinkedList<List<JFCEvent>>();
+		currentSequence = new LinkedList<JFCEvent>();
+		eventFilter = ignoredEvents;
+	}
+
+	/**
+	 * <p>
+	 * creates a default event filter that ignores focus changes, mouse pressed
+	 * and mouse released events.
+	 * </p>
+	 */
+	private void setupDefaultEventFilter() {
 		eventFilter = new HashSet<Integer>();
 		eventFilter.add(MouseEvent.MOUSE_PRESSED);
@@ -141,5 +167,5 @@
 		} else if (qName.equals("event")) {
 			int eventId = Integer.parseInt(atts.getValue("id"));
-			if (!eventFilter.contains(eventId)) {
+			if ((eventFilter == null) || (!eventFilter.contains(eventId))) {
 				currentEvent = new JFCEvent(atts.getValue("id"));
 				paramSource = ParamSource.EVENT;