comments for MachinePlayer.java