IntervalTree.scala
	Changed the name of Node field himax to max.