bad interpretation of "one" (incompatible types)

[bjkeller]

The @return of the method net.sf.freecol.server.model.ServerRegion.containsCenter(ServerRegion)
says
True if the center of the other region is within this one.
The "one" in the statement refers to the receiver.

The generated condition is target==1.