Add Header.setProperties() and some javadoc