public class CoverageInstrumentor
extends Object
Instruments the generated JavaScript to record code coverage information
about the original Java source.
We maintain a global coverage object, whose keys are Java source filenames
and whose values are objects mapping line numbers to 1 (executed) or 0 (not
executed).