tree 85cd4ad7af55affcc17d9615c259fe314e48169e
parent 4a9079b99dec693642efe509306cf334f3f46b07
author Sebastien Hertz <shertz@google.com> 1463732036 +0200
committer Sebastien Hertz <shertz@google.com> 1463992422 +0200

Manage coverage plugin version

Also clean up the build.xml file.

Change-Id: If44434f5845ba69e4bd8e515e1e100ed7d7d49bf