Improving Javadoc, taking care of some small fiddly bits in the code, removing
some calls to clear() which are not needed (related to garbage collection). It is anticipated that these changes will have no effect on the computer player.
Authored by: nerius 2023-09-12
Parent: [r1015]
Child: [r1017]
