Javadoc fixes
Try to get clover to work again