ontohub/ontohub — pull request #1148 by eugenk (2014-12-23 10:30:25+00:00)
Title: Revert workaround hets issue 1433

This reverts the workaround of #1147. This is supposed to be merged as soon as https://github.com/spechub/Hets/issues/1433 is solved.