cosmetic; remove RMI gcInterval which is the default