public void encodeWithCoder(Object receiver, NSCoder coder) { coder.encodeChar(((Character) receiver).charValue()); }