Fix the commiting errors occured during last commit. java-forum.org debug discussion again.
Authored by: whitefox 2020-10-22
Parent: [r4]