spechub/Hets — pull request #1397 by cmaeder (2014-11-10 13:49:45+00:00)
Title: print grouped disjoint-classes and do not group them

fixes #1394