more contracts and sectionheaderkey javadocs