Index: /trunk/autoquest-ui-core/src/main/java/de/ugoe/cs/autoquest/commands/sequences/CMDgenerateReplayfile.java
===================================================================
--- /trunk/autoquest-ui-core/src/main/java/de/ugoe/cs/autoquest/commands/sequences/CMDgenerateReplayfile.java	(revision 1269)
+++ /trunk/autoquest-ui-core/src/main/java/de/ugoe/cs/autoquest/commands/sequences/CMDgenerateReplayfile.java	(revision 1270)
@@ -126,4 +126,5 @@
 	                    // references, etc. However, all failures just indicate that no replay decorator
 	                    // should be used, hence, we ignore the exception
+                            Console.traceln(Level.FINEST, "no decorator used for " + filename);
 	                }
 	                if (decorator != null) {