scala/scala — pull request #1811 by xeno-by (2012-12-24 23:47:45+00:00)
Title: adds Tree.nonEmpty

So that trees become consistent with isEmpty on lists and options.