Javadoc fixes in Challenge interface