public int getIntHeader(String name) {
        String value = getHeader(name);
        if (value == null) {
            return -1;
        } else {
            return Integer.parseInt(value);
        }
    }
Sets a header with the given name and value.
 If the header had already been set, the new value overwrites the previous one.
container-core/src/main/java/com/yahoo/jdisc/http/filter/DiscFilterRequest.java