why is this needed? we override __equals in importOrdering() in Scala.scala - it may be that there is a case that is missing though.