Changeset 1097 for trunk/autoquest-plugin-jfc/src/main

Timestamp:

02/20/13 11:56:08 (12 years ago)

Author:

pharms

Message:

• minor fixes to have some more test cases run through

File:

• trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/JFCReplayIDCalculator.java (modified) (1 diff)

trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/JFCReplayIDCalculator.java

@@ -163 +163 @@
                 
                 IEventTarget target = event.getTarget();
-                if (!target.getPlatform().equals("JFC")){
+                if (!"JFC".equals(target.getPlatform())) {
                         throw new IllegalArgumentException("Event target must be of type JFC.");
                 }