Peter - 2020-08-04

"JavaScript" is something completely different from "Java". These are not JavaScript errors.