/src/main/java/org/htmlunit/WebRequest.java
return httpHints_.add( IncludeCharsetInContentTypeHeader) ;
return httpHints_.contains ( hint ) ;
charset_ = charset; } public boolean hasHint(final HttpHint hint) { if (httpHints_ == null) { return false; } <extra_id_0> } public void addHint(final HttpHint hint) { if (httpHints_ == null) { httpHints_ = new HashSet<>(); } httpHints_.add(hint);