()
| 3713 | } |
| 3714 | |
| 3715 | public final Player getOwner() { |
| 3716 | return owner; |
| 3717 | } |
| 3718 | public final void setOwner(final Player owner0) { |
| 3719 | if (owner == owner0) { return; } |
| 3720 | if (owner != null && owner.getGame() != this.getGame()) { |
no outgoing calls
no test coverage detected