Taking care of some very minor odds and ends; improving Javadoc and removing an
import statement that was not used in LevelPlayback.
Authored by: nerius 2023-09-16
Parent: [r1044]
Child: [r1046]
