Index: trunk/autoquest-jfcmonitor/src/main/java/de/ugoe/cs/autoquest/jfcmonitor/JFCListener.java
===================================================================
--- trunk/autoquest-jfcmonitor/src/main/java/de/ugoe/cs/autoquest/jfcmonitor/JFCListener.java	(revision 1269)
+++ trunk/autoquest-jfcmonitor/src/main/java/de/ugoe/cs/autoquest/jfcmonitor/JFCListener.java	(revision 2260)
@@ -77,5 +77,5 @@
                 builder.append(" <param name=\"Button\" value=\"" + mouseEvent.getButton() +
                     "\" />" + StringTools.ENDLINE);
-                builder.append(" <param name=\"Modifiers\" value=\"" + mouseEvent.getModifiers() +
+                builder.append(" <param name=\"Modifiers\" value=\"" + mouseEvent.getModifiersEx() +
                     "\" />" + StringTools.ENDLINE);
                 addSourceInfo(builder, event);
@@ -90,5 +90,5 @@
                 builder.append(" <param name=\"KeyCode\" value=\"" + keyEvent.getKeyCode() +
                     "\" />" + StringTools.ENDLINE);
-                builder.append(" <param name=\"Modifiers\" value=\"" + keyEvent.getModifiers() +
+                builder.append(" <param name=\"Modifiers\" value=\"" + keyEvent.getModifiersEx() +
                     "\" />" + StringTools.ENDLINE);
                 addSourceInfo(builder, event);