issue #4234: Checking whether '.jsc' file exists.