Lenses for Header, and fix bug where we could have Header(null, ...) in JavaClient