public void encodeWithCoder(Object receiver, NSCoder coder) {
long milliseconds = ((Date) receiver).getTime();
double seconds = milliseconds / 1000L;
coder.encodeDouble(seconds);
}
public void encodeWithCoder(Object receiver, NSCoder coder) {
_encodeUTF8("d", coder);
coder.encodeDouble(((Double) receiver).doubleValue());
}