/src/main/java/org/htmlunit/WebRequest.java
charset_ = Charset.forName( requestBody) ;
charset_ = Charset.forName ( charsetName ) ;
oos.writeObject(charset_ == null ? null : charset_.name()); } private void readObject(final ObjectInputStream ois) throws ClassNotFoundException, IOException { ois.defaultReadObject(); final String charsetName = (String) ois.readObject(); if (charsetName != null) { <extra_id_0> } } }