code: private void writeObject (ObjectOutputStream out) throws IOException {
  		out.defaultWriteObject();
  		out.writeUTF(charset.name());
  	}
docs: ------------------------------------------------------------------------