Thanks for the suggestions! I disabled "Parse java files" and left WinHTTrack
running overnight. The session seems about to wrap up without any glitches so
far.

I always set "Maximum external depth" to 0 in the Options. Still, somehow,
several gigabytes of external sites were downloaded in previous download
sessions. Explicitly excluding the offending sites seemed to work around the
problem.