Bug in SWRL body ordering: the parsing handler uses HashSets.

Strangely enough, this only changes behaviour in Java 8