case class makes java serialization happy