We are not using clover any longer. Are we planning to Mike Agrenius Kushner ?
Remove clover.jar, as it shadows vulnerable versions of jquery and other things. Not critical as it's not distributed, but no need to keep it around if it ain't used.
Remove clover targets in build.xml files at the same time?