Code coverage

JS in the ant file is bit ugly, but JaCoCo doesn't leave us with much choice.