owlcs/owlapi — pull request #276 by sesuncedu (2014-08-20 21:05:04+00:00)
Title: Change the initial size of the THashSet to 2 instead of 17

Change the initial size of the THashSet to 2 instead of 17; this reduces the size of larger maps; there does not appear to be any speed penalty.

internals size changes
from 1,035,950,000
to 0,867,936,416