Add support for specifying coverage paths in CommandExecutor
webstart javascript -- close to working for https