Make some stuff serializable for RMI