The condition targetinstanceofEurope is being generated for the FreeCol method net.sf.freecol.common.model.Player.canMoveToEurope() that has a @return tag with text return True if this player has an instance of Europe.
The condition target instanceof Europe would also be wrong, since the Player class is not a subtype of Europe. The condition that matches the method would be target.getEurope() != null, but I'm not sure how you would determine that was correct out of context.
The condition
targetinstanceofEuropeis being generated for the FreeCol methodnet.sf.freecol.common.model.Player.canMoveToEurope()that has a@returntag with textreturn True if this player has an instance of Europe.The condition
target instanceof Europewould also be wrong, since thePlayerclass is not a subtype ofEurope. The condition that matches the method would betarget.getEurope() != null, but I'm not sure how you would determine that was correct out of context.