(final Player player)
| 3816 | } |
| 3817 | |
| 3818 | public final void removeMayLookTemp(final Player player) { |
| 3819 | if (mayLookTemp.remove(player)) { |
| 3820 | updateMayLook(); |
| 3821 | } |
| 3822 | } |
| 3823 | |
| 3824 | public final void updateMayLook() { |
| 3825 | PlayerCollection result = new PlayerCollection(); |
no test coverage detected