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