Index: trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/JFCReplayIDCalculator.java
===================================================================
--- trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/JFCReplayIDCalculator.java	(revision 1084)
+++ trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/JFCReplayIDCalculator.java	(revision 1097)
@@ -163,5 +163,5 @@
 		
 		IEventTarget target = event.getTarget();
-		if (!target.getPlatform().equals("JFC")){
+		if (!"JFC".equals(target.getPlatform())) {
 			throw new IllegalArgumentException("Event target must be of type JFC.");
 		}