case class LeaseSpec(acquireTime: Option[MicroTime], holderIdentity: Option[String], leaseDurationSeconds: Option[Int], leaseTransitions: Option[Int], renewTime: Option[MicroTime]) trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any