deserializer.close()?