{"comment":{"url":"https://api.github.com/repos/owlcs/owlapi/comments/9571283","html_url":"https://github.com/owlcs/owlapi/commit/33f0936bf9f9f67c59f716817920ad52c09cd2d2#commitcomment-9571283","id":9571283,"user":{"login":"ignazio1977","id":2596901,"avatar_url":"https://avatars.githubusercontent.com/u/2596901?v=3","gravatar_id":"","url":"https://api.github.com/users/ignazio1977","html_url":"https://github.com/ignazio1977","followers_url":"https://api.github.com/users/ignazio1977/followers","following_url":"https://api.github.com/users/ignazio1977/following{/other_user}","gists_url":"https://api.github.com/users/ignazio1977/gists{/gist_id}","starred_url":"https://api.github.com/users/ignazio1977/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ignazio1977/subscriptions","organizations_url":"https://api.github.com/users/ignazio1977/orgs","repos_url":"https://api.github.com/users/ignazio1977/repos","events_url":"https://api.github.com/users/ignazio1977/events{/privacy}","received_events_url":"https://api.github.com/users/ignazio1977/received_events","type":"User","site_admin":false},"position":158,"line":414,"path":"impl/src/main/java/uk/ac/manchester/cs/owl/owlapi/MapPointer.java","commit_id":"33f0936bf9f9f67c59f716817920ad52c09cd2d2","created_at":"2015-02-03T21:19:22Z","updated_at":"2015-02-03T21:19:22Z","body":"Changing the size to 5 had a very marginal effect, I wondered if I should revert that bit but then reasoned that we would only ever use a THashSet if we have at least four elements, and Trove uses the next prime to the desired size when sizing a collection anyway - so probably no real difference either way.\r\n\r\nThe ontology is a snippet of Full Galen that Francisco was experimenting with, I've used it to be able to compare his findings to mine and to avoid having to wait hours for the tests to run"}}